The complexity of problems in systems of communicating sequential processes (Q1146980): Difference between revisions

@@ Property / cites work @@
+Provably Difficult Combinatorial Games
@@ Property / cites work: Provably Difficult Combinatorial Games / rank @@
+Normal rank
@@ Property / cites work @@
+Game interpretation of the deadlock avoidance problem
+Normal rank
@@ Property / cites work @@
+A Combinatorial Problem Which Is Complete in Polynomial Space
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Q4190122
@@ Property / cites work: Q4190122 / 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 the complexity of some two-person perfect-information games
+Normal rank