On interprocess communication. I: Basic formalism (Q1079945): Difference between revisions

@@ Property / cites work @@
+Q3943691
@@ Property / cites work: Q3943691 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Approach to Proving the Correctness of Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+On interprocess communication. II: Algorithms
@@ Property / cites work: On interprocess communication. II: Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q3696528
@@ Property / cites work: Q3696528 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank