Pages that link to "Item:Q1342503"
From MaRDI portal
The following pages link to Comparing locality and causality based equivalences (Q1342503):
Displaying 12 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Distributed processes and location failures (Q5958774) (← links)
