Pages that link to "Item:Q672231"
From MaRDI portal
The following pages link to A complete axiomatization of timed bisimulation for a class of timed regular behaviours (Q672231):
Displaying 6 items.
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- A bulk-synchronous parallel process algebra (Q875955) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
