The following pages link to Proved trees (Q5204353):
Displayed 10 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Language-based performance prediction for distributed and mobile systems (Q1854534) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- From Gene Regulation to Stochastic Fusion (Q3543333) (← links)
- Distributed processes and location failures (Q5958774) (← links)