Closures of may-, should- and must-convergences for contextual equivalence (Q991760): Difference between revisions

@@ Property / cites work @@
+On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-deterministic call-by-need lambda calculus
@@ Property / cites work: A non-deterministic call-by-need lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Erratic Fudgets: A semantic theory for an embedded coordination language
+Normal rank
@@ Property / cites work @@
+Divergence and fair testing
@@ Property / cites work: Divergence and fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
+Normal rank
@@ Property / cites work @@
+Q4225152
@@ Property / cites work: Q4225152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813228
@@ Property / cites work: Q4813228 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
+Normal rank