Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
DOI10.1007/s002360050039zbMath0837.68025OpenAlexW1753084406MaRDI QIDQ1901688
Publication date: 16 November 1995
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050039
correctnessspecificationconcurrent processassumption-commitment specificationsprocess languagesafety assumptionssemantic parallel rulestate-based message-based processessyntactic parallel rules
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 (2)
Cites Work
- A logical view of composition
- P-A logic - a compositional proof system for distributed programs
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
- An explanatory presentation of composition rules for assumption- commitment specifications
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
- Tentative steps toward a development method for interfering programs
- A Theory of Communicating Sequential Processes
- Proofs of Networks of Processes
- Application of the composition principle to unity-like specifications
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
