The following pages link to From μCRL to mCRL2 (Q5262965):
Displayed 4 items.
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)