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):
Displayed 1 item.
- (Q5856424) (← links)