Similar Items: Psi-Calculi Revisited: Connectivity and Compositionality
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- The Complexity of Enriched Mu-Calculi
- Automated Synthesis of Tableau Calculi
- Rigorous Function Calculi in Ariadne
- Dual-Context Calculi for Modal Logic