Pages that link to "Item:Q1966507"
From MaRDI portal
The following pages link to Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507):
Displaying 10 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- A partition refinement algorithm for the \(\pi\)-calculus (Q1854406) (← links)
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- On Bisimulation Theory in Linear Higher-Order π-Calculus (Q3651244) (← links)
- (Q4219048) (← links)
- Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← links)
- On bisimulations for the asynchronous π-calculus (Q6104371) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)