Pages that link to "Item:Q4596625"
From MaRDI portal
The following pages link to A fully abstract semantics for causality in the π-calculus (Q4596625):
Displayed 8 items.
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Causality for mobile processes (Q4645219) (← links)
- Internal mobility and agent-passing calculi (Q4645220) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- πI: A symmetric calculus based on internal mobility (Q5096730) (← links)