On the Unification of Process Semantics: Equational Semantics (Q2805160): Difference between revisions

@@ Property / cites work @@
+Ready to Preorder: Get Your BCCSP Axiomatization for Free!
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations Up-to and Canonical Preorders
@@ Property / cites work: Simulations Up-to and Canonical Preorders / rank @@
+Normal rank
@@ Property / cites work @@
+On the Unification of Process Semantics: Observational 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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Responsiveness and stable revivals
@@ Property / cites work: Responsiveness and stable revivals / rank @@
+Normal rank
@@ Property / cites work @@
+Revivals, stuckness and the hierarchy of CSP models
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible futures and determinism
@@ Property / cites work: Impossible futures and determinism / rank @@
+Normal rank