Using probabilistic Kleene algebra pKA for protocol verification (Q929968): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2007.10.005
@@ Property / DOI: 10.1016/j.jlap.2007.10.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+KAT-ML
@@ Property / describes a project that uses: KAT-ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2007.10.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2034320901
@@ Property / OpenAlex ID: W2034320901 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851556
@@ Property / Wikidata QID: Q114851556 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Tactics
@@ Property / cites work: A Proof-Theoretic Approach to Tactics / rank @@
+Normal rank
@@ Property / cites work @@
+KAT-ML: an interactive theorem prover for Kleene algebra with tests
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, probability, and adversaries
@@ Property / cites work: Knowledge, probability, and adversaries / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized mutual exclusion algorithms revisited
@@ Property / cites work: Randomized mutual exclusion algorithms revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with time and chance
@@ Property / cites work: Reasoning with time and chance / rank @@
+Normal rank
@@ Property / cites work @@
+Using probabilistic Kleene algebra pKA for protocol verification
+Normal rank
@@ Property / cites work @@
+Towards Automated Proof Support for Probabilistic Distributed Systems
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable
+Normal rank
@@ Property / cites work @@
+Proving probabilistic correctness statements
@@ Property / cites work: Proving probabilistic correctness statements / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Monodic Tree Kleene Algebra
@@ Property / cites work: Monodic Tree Kleene Algebra / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2007.10.005
@@ Property / DOI: 10.1016/J.JLAP.2007.10.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:929968