On the design and specification of message oriented programs (Q3891748): Difference between revisions

@@ Property / cites work @@
+The nucleus of a multiprogramming system
@@ Property / cites work: The nucleus of a multiprogramming system / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of two synchronizing concepts
@@ Property / cites work: A comparison of two synchronizing concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066554
@@ Property / cites work: Q4066554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4048566
@@ Property / cites work: Q4048566 / rank @@
+Normal rank
@@ Property / cites work @@
+Thoth, a portable real-time operating system
@@ Property / cites work: Thoth, a portable real-time operating system / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178455
@@ Property / cites work: Q4178455 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors
@@ Property / cites work: Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138072
@@ Property / cites work: Q4138072 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Processes and Their Syntax
@@ Property / cites work: Concurrent Processes and Their Syntax / rank @@
+Normal rank
@@ Property / cites work @@
+On an extension of Dijkstra's semaphore primitives
+Normal rank