Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653): Difference between revisions

@@ Property / author @@
-Jeff W. Sanders
@@ Property / author: Jeff W. Sanders / rank @@
-Normal rank
@@ Property / author @@
+Jeff W. Sanders
@@ Property / author: Jeff W. Sanders / 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.1007/978-3-642-35705-3_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2130402398
@@ Property / OpenAlex ID: W2130402398 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Partial correctness for probabilistic demonic programs
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic processes.
@@ Property / cites work: Algebraic theory of probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
+Normal rank