The following pages link to Axiomatising real-timed processes (Q5890048):
Displaying 6 items.
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours (Q672231) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A specification theory of real-time processes (Q1708707) (← links)
- (Q3783514) (← links)
- (Q4235435) (← links)