Reasoning about dynamically evolving process structures
From MaRDI portal
Publication:1333406
DOI10.1007/BF01215408zbMath0821.68106MaRDI QIDQ1333406
Pierre America, Frank S. de Boer
Publication date: 10 September 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
rCOS: a refinement calculus of object systems ⋮ Verification and refinement with fine-grained action-based concurrent objects ⋮ A Hoare logic for dynamic networks of asynchronously communicating deterministic processes ⋮ Graph transformations for object-oriented refinement
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A complete axiomatic semantics of spawning
- Issues in the design of a parallel object-oriented language
- Denotational semantics of a parallel object-oriented language
- A Proof System for Communicating Sequential Processes
- Ten Years of Hoare's Logic: A Survey—Part I
- Formal Justification of a Proof System for Communicating Sequential Processes
- Communicating sequential processes
- An axiomatic basis for computer programming
This page was built for publication: Reasoning about dynamically evolving process structures
