Pages that link to "Item:Q1389685"
From MaRDI portal
The following pages link to A process algebra of communicating shared resources with dense time and priorities (Q1389685):
Displaying 14 items.
- A calculus and logic of resources and processes (Q855007) (← links)
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- An algebraic framework for urgency (Q1854390) (← links)
- Resources in process algebra (Q2373652) (← links)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources (Q2842574) (← links)
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic (Q2864163) (← links)
- (Q4215810) (← links)
- A Family of Resource-Bound Real-Time Process Algebras (Q5262969) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717490) (← links)
