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

@@ Property / DOI @@
-.1016/j.entcs.2015.04.005
@@ Property / DOI: 10.1016/j.entcs.2015.04.005 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2079035919
@@ Property / OpenAlex ID: W2079035919 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317809
@@ Property / Wikidata QID: Q113317809 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2015.04.005
@@ Property / DOI: 10.1016/J.ENTCS.2015.04.005 / rank @@
+Normal rank