Probabilistic rely-guarantee calculus (Q507375): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962831884
@@ Property / OpenAlex ID: W2962831884 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0582
@@ Property / arXiv ID: 1409.0582 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic rely-guarantee calculus
@@ Property / cites work: Probabilistic rely-guarantee calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Free shuffle algebras in language varieties
@@ Property / cites work: Free shuffle algebras in language varieties / rank @@
+Normal rank
@@ Property / cites work @@
+A language of specified programs
@@ Property / cites work: A language of specified programs / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement calculus for shared-variable parallel and distributed programming
+Normal rank
@@ Property / cites work @@
+A Structural Proof of the Soundness of Rely/guarantee Rules
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4992527
@@ Property / cites work: Q4992527 / rank @@
+Normal rank
@@ Property / cites work @@
+Retaining the Probabilities in Probabilistic Testing Theory
+Normal rank
@@ Property / cites work @@
+Probabilistic may/must testing: retaining probabilities by restricted schedulers
+Normal rank
@@ Property / cites work @@
+An Event Structure Model for Probabilistic Concurrent Kleene Algebra
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738112
@@ Property / cites work: Q4738112 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Automated Proof Support for Probabilistic Distributed Systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507375