Four domains for concurrency
From MaRDI portal
Publication:1179700
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)
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
