Pages that link to "Item:Q5055876"
From MaRDI portal
The following pages link to Discrete time process algebra with abstraction (Q5055876):
Displaying 8 items.
- 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)
- Discrete time process algebra and the semantics of SDL (Q2760255) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Discretization of Timed Automata in Timed μCRL à la Regions and Zones (Q5262966) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)