Process algebra with guards: Combining hoare logic with process algebra

DOI10.1007/BF01221097zbMath0806.68078MaRDI QIDQ1329197

Jan Friso Groote, Alban Ponse

Publication date: 29 June 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

operational semantics; bisimulation; Hoare logic; process algebra with guards

Mathematics Subject Classification ID

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

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Process algebra with four-valued logic, On sequential composition, action prefixes and process prefix, The algebra of communicating processes with empty process, Process algebra with propositional signals, Process algebra for hybrid systems, Notions of bisimulation and congruence formats for SOS with data, Compositional Abstraction in Real-Time Model Checking

Cites Work

• Algèbre de processus et synchronisation
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• Global renaming operators in concrete process algebra
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• A proof system for communicating processes with value-passing
• Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule
• An axiomatic proof technique for parallel programs
• Real time process algebra
• Process algebra for synchronous communication
• Laws of programming
• Ten Years of Hoare's Logic: A Survey—Part I
• Process Algebra
• Equational bases of boolean algebras
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item