The following pages link to Real time process algebra (Q2640341):
Displaying 14 items.
- (Q5009710) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)
- An algebraic framework for developing and maintaining real-time systems (Q5096395) (← links)
- Behavioural abstraction in TCCS (Q5204347) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Axiomatising real-timed processes (Q5890048) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)
- On the semantics of durational actions (Q5958612) (← 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)