Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
From MaRDI portal
Publication:1107303
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
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
