Designing equivalent semantic models for process creation
From MaRDI portal
Publication:1107305
DOI10.1016/0304-3975(88)90048-5zbMath0652.68029MaRDI QIDQ1107305
Pierre America, Jaco de Bakker
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/1681
68Q60: Specification and verification (program logics, model checking, etc.)
68Q99: Theory of computing
Related Items
A complete axiomatic semantics of spawning, Issues in the design of a parallel object-oriented language, Denotational semantics of a parallel object-oriented language, Four domains for concurrency, An algebra for process creation, Rendez-vous with metric semantics, The connection between initial and unique solutions of domain equations in the partial order and metric approach, On CCS with parametric relabelling
Uses Software
Cites Work
- Denotational semantics of a parallel object-oriented language
- Merging regular processes by means of fixed-point theory
- Order and metric in the stream semantics of elemental concurrency
- Infinite streams and finite observations in the semantics of uniform concurrency
- Applications of compactness in the Smyth powerdomain of streams
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Recursive assertions and parallel programs
- Linear time and branching time semantics for recursion with merge
- The denotational semantics of dynamic networks of processes
- Process algebra for synchronous communication
- Formal Justification of a Proof System for Communicating Sequential Processes
- A Powerdomain Construction
- Communicating sequential processes
- Processes and the denotational semantics of concurrency
- Mappings and grammars on trees
- 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