The following pages link to (Q4278673):
Displaying 12 items.
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Process algebra with timing (Q1847280) (← links)
- Discrete time process algebra (Q1914041) (← links)
- An effective axiomatization for real time ACP (Q2508332) (← links)
- Process algebra with timing: Real time and discrete time (Q2760247) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- Refinement of actions in a real-time process algebra with a true concurrency model (Q2844829) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)