The following pages link to TIC: a tImed calculus (Q1261314):
Displaying 13 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- LOTOS extended with probabilistic behaviours (Q1261318) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- The Verus language: Representing time efficiently with BDDs (Q1589589) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- An interleaving model for real-time systems (Q2757804) (← 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)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)
