Termination, deadlock and divergence

DOI10.1007/BFb0040264MaRDI QIDQ5887521

Luca Aceto, Matthew C. B. Hennessy

Publication date: 12 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

process algebradenotational semanticoperational semanticalgebraic semanticlabel transition system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics for communicating systems
• Observation equivalence as a testing equivalence
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• Algebraic semantics
• LCF considered as a programming language
• Fully abstract models of typed \(\lambda\)-calculi
• Testing equivalences for processes
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Acceptance trees
• Axiomatising Finite Concurrent Processes
• A term model for synchronous processes
• Initial Algebra Semantics and Continuous Algebras