The following pages link to Process algebras with localities. (Q2760252):
Displaying 17 items.
- A theory of processes with localities (Q1329198) (← links)
- Locality based semantics for process algebras (Q1357807) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- A chart semantics for the pi-calculus (Q2864369) (← links)
- Extensionality of spatial observations in distributed systems (Q2866349) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- (Q5155688) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
- A model of actors and grey failures (Q6137831) (← links)
- MAG\(\pi\): types for failure-prone communication (Q6535245) (← links)