Global and Local Deadlock Freedom in BIP
- Attie, Paul C. American University of Beirut, Lebanon
- Bensalem, Saddek UJF-Grenoble 1/CNRS VERIMAG, France, Saddek
- Bozga, Marius UJF-Grenoble 1/CNRS VERIMAG, France, Marius
- Jaber, Mohamad American University of Beirut, Lebanon
- Sifakis, Joseph Ecole Polytechnique Federale, Lausanne, Switzerland
- Zaraket, Fadi A. American University of Beirut, Lebanon
Published in:
- ACM Transactions on Software Engineering and Methodology. - Association for Computing Machinery (ACM). - 2018, vol. 26, no. 3, p. 1-48
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1145/3152910
- ISSN 1049-331X
- Persistent URL
- https://sonar.ch/global/documents/194143
Statistics
Document views: 21
File downloads:
- Full-text: 0