Pages that link to "Item:Q1966507"
From MaRDI portal
The following pages link to Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507):
Displayed 4 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)
- On-the-fly bisimilarity checking for fresh-register automata (Q6168987) (← links)