Pages that link to "Item:Q5096391"
From MaRDI portal
The following pages link to Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391):
Displaying 8 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)