Preface (Q5970649): Difference between revisions

@@ 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/s00165-012-0257-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1896105889
@@ Property / OpenAlex ID: W1896105889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885873
@@ Property / cites work: Q4885873 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Scalar Outcomes Suffice for Finitary Probabilistic Testing
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797358
@@ Property / cites work: Q4797358 / rank @@
+Normal rank
@@ Property / cites work @@
+Using probabilistic Kleene algebra pKA for protocol verification
+Normal rank
@@ Property / cites work @@
+Q4428307
@@ Property / cites work: Q4428307 / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof that Herman's ring is \(\Theta (N^{2})\)
+Normal rank
@@ Property / cites work @@
+Refinement-oriented probability for CSP
@@ Property / cites work: Refinement-oriented probability for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+The shadow knows: refinement and security in sequential programs
+Normal rank
@@ Property / cites work @@
+Specification of the UNIX Filing System
@@ Property / cites work: Specification of the UNIX Filing System / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5970649