The following pages link to Behavioural abstraction in TCCS (Q5204347):
Displayed 6 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Congruent weak bisimulation with dense real-time (Q1802058) (← links)
- A Calculus of Countable Broadcasting Systems (Q5096402) (← links)
- Behavioural abstraction in TCCS (Q5204347) (← links)