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