A proof system for asynchronously communicating deterministic processes

DOI10.1007/3-540-58338-6_72zbMath1493.68243OpenAlexW2151600057MaRDI QIDQ5096883

M. van Hulst, Frank S. de Boer

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58338-6_72

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• An axiomatic proof technique for parallel programs
• A Proof System for Communicating Sequential Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A proof system for asynchronously communicating deterministic processes