Using Probabilistic Kleene Algebra for Protocol Verification
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 296-310
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Towards Automated Proof Support for Probabilistic Distributed SystemsLecture Notes in Computer Science, 2005
- Lazy Kleene AlgebraLecture Notes in Computer Science, 2004
- A Formal Approach to Probabilistic TerminationLecture Notes in Computer Science, 2002
- Separation and Reduction2000
- Kleene algebra with testsACM Transactions on Programming Languages and Systems, 1997
- Probabilistic models for the guarded command languageScience of Computer Programming, 1997
- Probabilistic predicate transformersACM Transactions on Programming Languages and Systems, 1996
- Knowledge, probability, and adversariesJournal of the ACM, 1993
- Randomized mutual exclusion algorithms revisited1992
- Reasoning with time and chanceInformation and Control, 1982