Pages that link to "Item:Q914400"
From MaRDI portal
The following pages link to A partial ordering semantics for CCS (Q914400):
Displaying 23 items.
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Comparing locality and causality based equivalences (Q1342503) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Causality for mobile processes (Q4645219) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Read-write causality (Q5096915) (← links)
- Proved trees (Q5204353) (← links)