Q5013872 (Q5013872): Difference between revisions

@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664417
@@ Property / cites work: Q3664417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986261
@@ Property / cites work: Q4986261 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Why ever CSP?
@@ Property / cites work: Why ever CSP? / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852051
@@ Property / cites work: Q2852051 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026331
@@ Property / cites work: Q3026331 / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013871
@@ Property / cites work: Q5013871 / rank @@
+Normal rank
@@ Property / cites work @@
+Is It a “Good” Encoding of Mixed Choice?
@@ Property / cites work: Is It a “Good” Encoding of Mixed Choice? / rank @@
+Normal rank
@@ Property / cites work @@
+On Distributability in Process Calculi
@@ Property / cites work: On Distributability in Process Calculi / rank @@
+Normal rank