The following pages link to Extended pi-Calculi (Q3520306):
Displaying 5 items.
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- A sorted semantic framework for applied process calculi (Q2800971) (← links)
- A spatial extension to the \(\pi\) calculus (Q2870304) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- Reversing Higher-Order Pi (Q3584950) (← links)