Pages that link to "Item:Q1962485"

The following pages link to Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485):

Displayed 1 item.

• Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) ‎ (← links)