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

@@ 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