Pages that link to "Item:Q5494306"
From MaRDI portal
The following pages link to Formal Methods for the Design of Real-Time Systems (Q5494306):
Displaying 17 items.
- A timed calculus for wireless systems (Q650891) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- The algebra of timed processes, ATP: Theory and application (Q1336052) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Process algebra with timing (Q1847280) (← links)
- A process algebra for timed systems (Q1892877) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources (Q2842574) (← links)
- (Q4278673) (← links)
- (Q4796539) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494307) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
