Pages that link to "Item:Q1376418"
From MaRDI portal
The following pages link to A complete axiomatization of finite-state ACSR processes (Q1376418):
Displaying 8 items.
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← 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)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- (Q4278673) (← links)
- A Family of Resource-Bound Real-Time Process Algebras (Q5262969) (← links)