Pages that link to "Item:Q288785"
From MaRDI portal
The following pages link to Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785):
Displaying 5 items.
- The reversible temporal process language (Q2165209) (← links)
- The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components. (Q4461216) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)