Four domains for concurrency

DOI10.1016/0304-3975(91)90303-JzbMath0741.68045MaRDI QIDQ1179700

J. W. de Bakker, J. H. A. Warmerdam

Publication date: 26 June 1992

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

zbMATH Keywords

concurrencymetric semanticsconcurrent language with recursion

Mathematics Subject Classification ID

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

Related Items (11)

Denotational semantics in the cpo and metric approach ⋮ Terminal metric spaces of finitely branching and image finite linear processes ⋮ Abstract fairness and semantics ⋮ Generalizing finiteness conditions of labelled transition systems ⋮ Four domains for concurrency ⋮ Denotational linear time semantics and sequential composition ⋮ A uniform approach to true-concurrency and interleaving semantics for Petri nets ⋮ Unique, guarded fixed points in an additive setting ⋮ The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) ⋮ Axiomatizing the subsumption and subword preorders on finite and infinite partial words ⋮ The connection between an event structure semantics and an operational semantics for TCSP

Cites Work

• Unnamed Item
• 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
• Comparative semantics for flow of control in logic programming without logic
• Denotational semantics of a parallel object-oriented language
• Comparative metric semantics for concurrent PROLOG
• Modeling concurrency with partial orders
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Designing equivalent semantic models for process creation
• Metric semantics for concurrency
• Concurrency and atomicity
• Petri nets, event structures and domains. I
• Four domains for concurrency
• Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• Linear time and branching time semantics for recursion with merge
• Semantic Correctness for a Parallel Object-Oriented Language
• Processes and the denotational semantics of concurrency

This page was built for publication: Four domains for concurrency