Accueil > Equipes > AeLoS > Les publications (via hal)

Les publications (via hal)

Liste de publications (extraite de hal) des membres de l’équipe

  • Marin Bertier, Matthieu Perrin, Cédric Tedeschi [hal-01326849] On the Complexity of Concurrent Multiset Rewriting [Consulter...]
  • Matthieu Perrin [tel-01390700] Spécification des objets partagés dans les systèmes répartis sans-attente [Consulter...]
  • Sundararaman Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier [hal-01379431] Robustness of Time Petri Nets under Guard Enlargement [Consulter...]
  • Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard [hal-01347069] On Composition and Implementation of Sequential Consistency [Consulter...]
  • Mohamed Amine Aouadhi, Benoit Delahaye, Arnaud Lanoix [hal-01316610] Moving from Event-B to probabilistic Event-B [Consulter...]