Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

DOI10.1016/0022-0000(88)90026-8zbMath0652.68028OpenAlexW2098280935MaRDI QIDQ1107303

John-Jules Ch. Meyer, Ernst-Ruediger Olderog, J. W. de Bakker, Jeffery Zucker

Publication date: 1988

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/1718

zbMATH Keywords

operational semanticsdenotational semanticsconcurrencytransition systemsmetric topology

Mathematics Subject Classification ID

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

Related Items (11)

Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Designing equivalent semantic models for process creation ⋮ Metric semantics for concurrency ⋮ Step semantics for ``true concurrency with recursion ⋮ Contractions in comparing concurrency semantics ⋮ Towards a foundation for semantics in complete metric spaces ⋮ Correctness of concurrent processes ⋮ Four domains for concurrency ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Rendez-vous with metric semantics ⋮ Comparative semantics for flow of control in logic programming without logic

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
• A linear-history semantics for languages for distributed programming
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
• Specification-oriented semantics for communicating processes
• Algebra of communicating processes with abstraction
• A theory for nondeterminism, parallelism, communication, and concurrency
• Merging regular processes by means of fixed-point theory
• Infinite streams and finite observations in the semantics of uniform concurrency
• Semantics of nondeterminism, concurrency, and communication
• Recursive assertions and parallel programs
• The congruence of two programming language definitions
• Linear time and branching time semantics for recursion with merge
• Connections between two theories of concurrency: Metric spaces and synchronization trees
• Process algebra for synchronous communication
• On the relationships between Scott domains, synchronization trees, and metric spaces
• A Theory of Communicating Sequential Processes
• Formal Justification of a Proof System for Communicating Sequential Processes
• On the termination of program schemas
• Formal verification of parallel programs
• Communicating sequential processes
• Processes and the denotational semantics of concurrency

This page was built for publication: Transition systems, metric spaces and ready sets in the semantics of uniform concurrency