Q4222882 (Q4222882): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024005
@@ Property / cites work: Q4024005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5180820
@@ Property / cites work: Q5180820 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+Q4222750
@@ Property / cites work: Q4222750 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors
@@ Property / cites work: Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222898
@@ Property / cites work: Q4222898 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank