The following pages link to Resources in process algebra (Q2373652):
Displaying 8 items.
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- Improving performance in flexible manufacturing systems (Q1014568) (← 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)
- Special issue: Process algebra (Q1607490) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- A Family of Resource-Bound Real-Time Process Algebras (Q5262969) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717490) (← links)