Pages that link to "Item:Q4596625"

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)