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

@@ Property / DOI @@
-.1016/j.apal.2007.10.005
@@ Property / DOI: 10.1016/j.apal.2007.10.005 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2030121500
@@ Property / OpenAlex ID: W2030121500 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.APAL.2007.10.005
@@ Property / DOI: 10.1016/J.APAL.2007.10.005 / rank @@
+Normal rank