Pages that link to "Item:Q1854325"
From MaRDI portal
The following pages link to Absolute versus relative time in process algebras. (Q1854325):
Displaying 5 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)
