Global and Local Deadlock Freedom in BIP - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Software Engineering and Methodology Année : 2018

Global and Local Deadlock Freedom in BIP

Paul C Attie
  • Fonction : Auteur
American University of Beirut [Beyrouth]
Saddek Bensalem
VERIMAG
Marius Bozga
VERIMAG
Mohamad Jaber
  • Fonction : Auteur
  • PersonId : 885030
American University of Beirut [Beyrouth]
Joseph Sifakis
  • Fonction : Auteur
Rigorous System Design Laboratory [Lausanne]
Fadi Zaraket
  • Fonction : Auteur
American University of Beirut [Beyrouth]

Domaines

Systèmes embarqués
Fichier principal
Vignette du fichier
dfBIP.pdf (1.15 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Marius Bozga  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01865301

Soumis le : vendredi 31 août 2018-12:14:30

Dernière modification le : jeudi 4 avril 2024-21:06:50

Archivage à long terme le : samedi 1 décembre 2018-13:28:33

Télécharger pour visualiser

Dates et versions

hal-01865301 , version 1 (31-08-2018)

Identifiants

Citer

Paul C Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, et al.. Global and Local Deadlock Freedom in BIP. ACM Transactions on Software Engineering and Methodology, 2018, 26 (3), pp.1 - 48. ⟨10.1145/3152910⟩. ⟨hal-01865301⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 UGA IMAG CNRS IRISA VERIMAG UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
19 Consultations
144 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More