The following pages link to (Q2754193):
Displaying 9 items.
- A denotational semantics for Handel-C (Q539165) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- Revisiting interactive Markov chains (Q2842864) (← links)
- Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time (Q2870192) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- (Q5856402) (← links)