Processes with infinite liveness requirements
From MaRDI portal
Publication:383788
DOI10.1016/j.jlap.2013.03.001zbMathNoneOpenAlexW2009877640MaRDI QIDQ383788
Hélia Guerra, Costa, José Félix
Publication date: 6 December 2013
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2013.03.001
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Safe reasoning with logic LTS
- Processes with local and global liveness requirements
- Specification-oriented semantics for communicating processes
- Progress assumption in concurrent systems
- The origins of structural operational semantics
- A structural approach to operational semantics
- TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
- Proofs of Networks of Processes
- Nets, Terms and Formulas
- Process Algebra