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 / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6608304
@@ Property / zbMATH DE Number: 6608304 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asynchrony
@@ Property / zbMATH Keywords: asynchrony / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+CSP
@@ Property / zbMATH Keywords: CSP / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asynchronous calculi
@@ Property / zbMATH Keywords: asynchronous calculi / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+buffers
@@ Property / zbMATH Keywords: buffers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+service-oriented computing
@@ Property / zbMATH Keywords: service-oriented computing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SOC calculi
@@ Property / zbMATH Keywords: SOC calculi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COWS
@@ Property / describes a project that uses: COWS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR2
@@ Property / describes a project that uses: FDR2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAT
@@ Property / describes a project that uses: PAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProBE
@@ Property / describes a project that uses: ProBE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:530849