The following pages link to (Q4235435):
Displaying 4 items.
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours (Q672231) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- A complete axiomatization of weighted branching bisimulation (Q2182679) (← links)
- An effective axiomatization for real time ACP (Q2508332) (← links)