Attempting guards in parallel: A data flow approach to execute generalized guarded commands (Q688830): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Implementation for the Generalized Input-Output Construct of CSP
+Normal rank
@@ Property / cites work @@
+Comments on “Communicating Sequential Processes”
+Normal rank
@@ Property / cites work @@
+A shared memory algorithm and proof for the generalized alternative construct in CSP
+Normal rank
@@ Property / cites work @@
+Two Tools for Interprocess Communication in Distributed Data-Flow Systems
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01421675
+Normal rank
@@ Property / OpenAlex ID @@
+W2016310201
@@ Property / OpenAlex ID: W2016310201 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:688830