Progress assumption in concurrent systems

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

zbMATH Keywords

denotational semanticstransactional behaviourtransactional requirements

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

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