Pages that link to "Item:Q1333279"
From MaRDI portal
The following pages link to A resource-based prioritized bisimulation for real-time systems (Q1333279):
Displayed 7 items.
- Structure of concurrency (Q685384) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← 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)
- Priority as extremal probability (Q1816921) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)