The following pages link to The m-calculus (Q2942912):
Displayed 7 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Type-safe higher-order channels with channel locality (Q5302647) (← links)