Contractions in comparing concurrency semantics

DOI10.1016/0304-3975(90)90016-BzbMath0707.68054OpenAlexW2245053867MaRDI QIDQ919834

Jan J. M. M. Rutten, Joost N. Kok

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90016-b

zbMATH Keywords

communicationoperational semanticsconcurrencynondeterminismconcurrent imperative languagesdenotational semanticvalue passing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (8)

Three metric domains of processes for bisimulation ⋮ Topological models for higher order control flow ⋮ Unnamed Item ⋮ Generalizing finiteness conditions of labelled transition systems ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ Denotational models for programming languages: Applications of Banach's fixed point theorem ⋮ Rendez-vous with metric semantics ⋮ Bisimulation indexes and their applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Semantics of nondeterminism, concurrency, and communication
• A calculus of communicating systems
• Countable nondeterminism and random assignment
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency
• Topologies on Spaces of Subsets

This page was built for publication: Contractions in comparing concurrency semantics