Angelic semantics of fine-grained concurrency (Q2474441): Difference between revisions

@@ Property / cites work @@
+Q4024005
@@ Property / cites work: Q4024005 / rank @@
+Normal rank
@@ Property / cites work @@
+Bireflectivity
@@ Property / cites work: Bireflectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754137
@@ Property / cites work: Q2754137 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+A Game Semantics of Idealized CSP
@@ Property / cites work: A Game Semantics of Idealized CSP / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank