Pages that link to "Item:Q6104365"
From MaRDI portal
The following pages link to Symbolic transition graph with assignment (Q6104365):
Displaying 6 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Theory of interaction (Q896903) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)
