Designing equivalent semantic models for process creation

DOI10.1016/0304-3975(88)90048-5zbMath0652.68029OpenAlexW2070703157WikidataQ126436550 ScholiaQ126436550MaRDI 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

zbMATH Keywords

operational semanticstransition systemsmetric topologydenotational semanticprocess creation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Related Items

On CCS with parametric relabelling, The connection between initial and unique solutions of domain equations in the partial order and metric approach, 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, Process algebra with strategic interleaving, Rendez-vous with metric semantics, A complete axiomatic semantics of spawning

Uses Software

• POOL
• Simula 67

Cites Work

• 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
• 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