8 results
Behavioural equivalences for continuous-time Markov processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 4-5 / April 2023
- Published online by Cambridge University Press:
- 30 March 2023, pp. 222-258
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
10 - Quantitative Equational Reasoning
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 333-360
-
- Chapter
-
- You have access
- Open access
- Export citation
Singular value automata and approximate minimization
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 9 / October 2019
- Published online by Cambridge University Press:
- 27 May 2019, pp. 1444-1478
-
- Article
- Export citation
Preface to special issue: Developments In Computational Models 2010
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 2 / April 2013
- Published online by Cambridge University Press:
- 28 February 2013, pp. 201-203
-
- Article
-
- You have access
- Export citation
7 - Probabilistic bisimulation
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 290-326
-
- Chapter
- Export citation
7 - Extended Measurement Calculus
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 235-310
-
- Chapter
- Export citation
Quantum weakest preconditions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 04 July 2006, pp. 429-451
-
- Article
- Export citation
A relational model of non-deterministic dataflow
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 5 / October 2004
- Published online by Cambridge University Press:
- 23 September 2004, pp. 613-649
-
- Article
- Export citation