Enabling synchronous and asynchronous communications in CSP for SOC (Q530849): Difference between revisions

@@ Property / cites work @@
+Q4994837
@@ Property / cites work: Q4994837 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
+Normal rank
@@ Property / cites work @@
+On the Asynchronous Nature of the Asynchronous π-Calculus
+Normal rank
@@ Property / cites work @@
+Q3702500
@@ Property / cites work: Q3702500 / 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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+The Conversation Calculus: A Model of Service-Oriented Computation
+Normal rank