Pages that link to "Item:Q1854325"
From MaRDI portal
The following pages link to Absolute versus relative time in process algebras. (Q1854325):
Displaying 8 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
