What is a ``good'' encoding of guarded choice? (Q1854329): Difference between revisions

@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+On modelling mobility
@@ Property / cites work: On modelling mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222913
@@ Property / cites work: Q4222913 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
+Normal rank
@@ Property / cites work @@
+An Effective Implementation for the Generalized Input-Output Construct of CSP
+Normal rank
@@ Property / cites work @@
+On the \(\pi\)-calculus and linear logic
@@ Property / cites work: On the \(\pi\)-calculus and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219054
@@ Property / cites work: Q4219054 / rank @@
+Normal rank
@@ Property / cites work @@
+A counter-example to an algorithm for the generalized input--output construct of CSP
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / 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 @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness
@@ Property / cites work: The name discipline of uniform receptiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints as processes
@@ Property / cites work: Constraints as processes / rank @@
+Normal rank