Similar Items: A Sorted Semantic Framework for Applied Process Calculi
- Strong normalisation for applied lambda calculi
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Rule Formats for Nominal Process Calculi
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- The Complexity of Enriched Mu-Calculi
- Automated Synthesis of Tableau Calculi