Processes with infinite liveness requirements

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

zbMATH Keywords

livenessoperational semanticsprocess algebradenotational semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Processes with local and global liveness requirements

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