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

@@ Property / author @@
-Carlos J. P. Lucena
@@ Property / author: Carlos J. P. Lucena / rank @@
-Normal rank
@@ Property / author @@
+Carlos J. P. Lucena
@@ Property / author: Carlos J. P. Lucena / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00977783
+Normal rank
@@ Property / OpenAlex ID @@
+W2063935650
@@ Property / OpenAlex ID: W2063935650 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3891748