Inferring Synchronization under Limited Observability (Q3617756): Difference between revisions

@@ Property / cites work @@
+Synthesis of concurrent systems for an atomic read/atomic write model of computation
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Edison—a multiprocessor language
@@ Property / cites work: Edison—a multiprocessor language / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a theory of maximally concurrent programs (shortened version)
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Abstraction-guided synthesis of synchronization
@@ Property / cites work: Abstraction-guided synthesis of synchronization / rank @@
+Normal rank