Metric semantics for concurrency

DOI10.1007/BF01941131zbMath0661.68011OpenAlexW1545543837MaRDI QIDQ1113660

John-Jules Ch. Meyer, J. W. de Bakker

Publication date: 1988

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01941131

zbMATH Keywords

operational semanticssynchronizationdenotational semanticsconcurrencymetric semanticscontractionscomplete metric spacestransitionsprocess creationglobal nondeterminacy

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Three metric domains of processes for bisimulation ⋮ Topological models for higher order control flow ⋮ Trees and semantics ⋮ Comparative metric semantics for concurrent PROLOG ⋮ Unnamed Item ⋮ Four domains for concurrency ⋮ Denotational linear time semantics and sequential composition ⋮ Metric completion versus ideal completion ⋮ Uniform Completion versus Ideal Completion of Posets with Projections ⋮ Rendez-vous with metric semantics ⋮ Comparative semantics for flow of control in logic programming without logic ⋮ The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)

Cites Work

• 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
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Hiding in stream semantics of uniform concurrency
• A calculus of communicating systems
• Linear time and branching time semantics for recursion with merge
• Countable nondeterminism and random assignment
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency