Ready to preorder: the case of weak process semantics (Q975539): Difference between revisions

@@ Property / author @@
-W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
-Normal rank
@@ Property / author @@
-Q324629
@@ Property / author: Q324629 / rank @@
-Normal rank
@@ Property / author @@
+W. J. Fokkink
@@ Property / author: W. J. Fokkink / rank @@
+Normal rank
@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2038305454
@@ Property / OpenAlex ID: W2038305454 / rank @@
+Normal rank
@@ Property / cites work @@
+Ready to Preorder: Get Your BCCSP Axiomatization for Free!
+Normal rank
@@ Property / cites work @@
+Q3601881
@@ Property / cites work: Q3601881 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+On finite alphabets and infinite bases
@@ Property / cites work: On finite alphabets and infinite bases / rank @@
+Normal rank
@@ Property / cites work @@
+(Bi)simulations up-to characterise process semantics
+Normal rank
@@ Property / cites work @@
+Ready to preorder: an algebraic and general proof
@@ Property / cites work: Ready to preorder: an algebraic and general proof / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the methodology of CCS and CSP
@@ Property / cites work: Notes on the methodology of CCS and CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank