A Fully Abstract Model for Mobile Ambients (Q2841277): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+A filter model for mobile processes
@@ Property / cites work: A filter model for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766538
@@ Property / cites work: Q2766538 / rank @@
+Normal rank
@@ Property / cites work @@
+Filter models for conjunctive-disjunctive \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766539
@@ Property / cites work: Q2766539 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstractness for a functional/concurrent language with higher-order value-passing
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational model for higher-order processes
+Normal rank
@@ Property / cites work @@
+Higher-order processes and their models
@@ Property / cites work: Higher-order processes and their models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank