Discrimination by parallel observers: the algorithm. (Q1854269): Difference between revisions

@@ Property / DOI @@
-.1006/inco.1998.2773
@@ Property / DOI: 10.1006/inco.1998.2773 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q122879530
@@ Property / Wikidata QID: Q122879530 / rank @@
+Normal rank
@@ 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 @@
+Q4235428
@@ Property / cites work: Q4235428 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+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 @@
+The discriminating power of multiplicities in the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+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 @@
+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 @@
+A characterization of F-complete type assignments
@@ Property / cites work: A characterization of F-complete type assignments / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational model for higher-order processes
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Lambda calculus: Theories, models and local structure characterization
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The lazy lambda calculus in a concurrency scenario
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.1998.2773
@@ Property / DOI: 10.1006/INCO.1998.2773 / rank @@
+Normal rank