The following pages link to (Q4219048):
Displaying 5 items.
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897764) (← links)