Pages that link to "Item:Q5262969"
From MaRDI portal
The following pages link to A Family of Resource-Bound Real-Time Process Algebras (Q5262969):
Displaying 10 items.
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
- Resources in process algebra (Q2373652) (← links)
- Real time process algebra (Q2640341) (← links)
- A real-time process algebra with open intervals and maximal progress (Q2765925) (← links)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources (Q2842574) (← links)
- Integrating time and resource into Circus (Q2848461) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717490) (← links)