A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
Authors:
- 11 April 2008
- book chapter
- Published by Springer Nature
- p. 110-122
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Kleene algebra with domainACM Transactions on Computational Logic, 2006
- Using Probabilistic Kleene Algebra for Protocol Verification2006
- Towards Automated Proof Support for Probabilistic Distributed SystemsLecture Notes in Computer Science, 2005
- Lazy Kleene AlgebraLecture Notes in Computer Science, 2004
- Modelling Nondeterminism2004
- The Basic Algebra of Game EquivalencesStudia Logica, 2003
- Game Logic - An OverviewStudia Logica, 2003
- Separation and Reduction2000
- Kleene algebra with testsACM Transactions on Programming Languages and Systems, 1997
- A Completeness Theorem for Kleene Algebras and the Algebra of Regular EventsInformation and Computation, 1994