Pages that link to "Item:Q914400"
From MaRDI portal
The following pages link to A partial ordering semantics for CCS (Q914400):
Displaying 31 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)
- Partial order and contextual net semantics for atomic and locally atomic CC programs (Q1380121) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Partial order semantics and read arcs (Q1608891) (← 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)
- Semantics of MML query -- ordering (Q2852181) (← 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)
- Deducing causal relationships in CCS (Q3975937) (← links)
- (Q4447239) (← links)
- Causality for mobile processes (Q4645219) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Read-write causality (Q5096915) (← links)
- Proved trees (Q5204353) (← links)
- On the Completeness of Context-Sensitive Order-Sorted Specifications (Q5432344) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709962) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
