Pages that link to "Item:Q2870192"
From MaRDI portal
The following pages link to Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192):
Displaying 3 items.