The following pages link to Observing localities (Q685414):
Displaying 19 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Basic observables for processes (Q1286368) (← links)
- Comparing locality and causality based equivalences (Q1342503) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Implicit Propagation in Structural Operational Semantics (Q2810689) (← links)
- Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- (Q5014797) (← links)
- Minimal transition systems for history-preserving bisimulation (Q5048942) (← links)
