The following pages link to Four domains for concurrency (Q1179700):
Displaying 11 items.
- Denotational linear time semantics and sequential composition (Q671406) (← links)
- Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
- Four domains for concurrency (Q1179700) (← links)
- A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- Denotational semantics in the cpo and metric approach (Q1346621) (← links)
- Abstract fairness and semantics (Q1391865) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
