Progress assumption in concurrent systems
From MaRDI portal
Publication:1805398
DOI10.1007/BF01214621zbMath0817.68080OpenAlexW2019935307MaRDI QIDQ1805398
Amílcar Sernadas, Costa, José Félix
Publication date: 23 July 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01214621
Related Items
Processes with infinite liveness requirements, Processes with local and global liveness requirements, Object inheritance beyond subtyping
Cites Work
- A\(^ 2\)CCS: Atomic actions for CCS
- The Munich project CIP. Volume II: The program transformation system CIP- S
- Trace theory and VLSI design
- TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
- A Theory of Communicating Sequential Processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item