Global and Local Deadlock Freedom in BIP
2018
Details
Title
Global and Local Deadlock Freedom in BIP
Author(s)
Attie, PC ; Bensalem, S ; Bozga, M ; Jaber, M ; Sifakis, J ; Zaraket, FA
Published in
ACM Transactions on Software Engineering and Methodology
Volume
26
Issue
3
Pages
9
Date
2018
Other identifier(s)
View record in Web of Science
Laboratories
RISD
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2018-11-08