Process algebra with guards: Combining hoare logic with process algebra

DOI10.1007/BF01221097zbMath0806.68078OpenAlexW2911752321MaRDI QIDQ1329197

Alban Ponse, Jan Friso Groote

Publication date: 29 June 1994

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

Full work available at URL: https://doi.org/10.1007/bf01221097

zbMATH Keywords

operational semanticsbisimulationHoare logicprocess algebra with guards

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

On sequential composition, action prefixes and process prefix ⋮ The algebra of communicating processes with empty process ⋮ Process algebra with propositional signals ⋮ Revisiting sequential composition in process calculi ⋮ Compositional Abstraction in Real-Time Model Checking ⋮ A ground-complete axiomatization of stateless bisimilarity over Linda ⋮ Using Hoare Logic in a Process Algebra Setting ⋮ Notions of bisimulation and congruence formats for SOS with data ⋮ Process algebra for hybrid systems ⋮ Process algebra with four-valued logic

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