Similar Items: Programming Distributed Collective Processes in the eXchange Calculus
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus
- Optimizing Return Distributions with Distributional Dynamic Programming
- The Many-Worlds Calculus
- The Safe Lambda Calculus
- Completeness of the ZX-Calculus