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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56066157
@@ Property / Wikidata QID: Q56066157 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1079945