Complete trace models of state and control (Q2233464): Difference between revisions

@@ Property / OpenAlex ID @@
+W3122294232
@@ Property / OpenAlex ID: W3122294232 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08491
@@ Property / arXiv ID: 2101.08491 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367066
@@ Property / cites work: Q5367066 / rank @@
+Normal rank
@@ Property / cites work @@
+Environmental Bisimulations for Delimited-Control Operators
+Normal rank
@@ Property / cites work @@
+A complete normal-form bisimilarity for state
@@ Property / cites work: A complete normal-form bisimilarity for state / rank @@
+Normal rank
@@ Property / cites work @@
+The impact of higher-order state and control effects on local relational reasoning
+Normal rank
@@ Property / cites work @@
+A System-Level Game Semantics
@@ Property / cites work: A System-Level Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A variable typed logic of effects
@@ Property / cites work: A variable typed logic of effects / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of bisimulations and Kripke logical relations
+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 @@
+Operational Nominal Game Semantics
@@ Property / cites work: Operational Nominal Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke Open Bisimulation
@@ Property / cites work: Kripke Open Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics for polymorphic references
@@ Property / cites work: Trace semantics for polymorphic references / rank @@
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for Aspects
@@ Property / cites work: Open Bisimulation for Aspects / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract may testing semantics for concurrent objects
+Normal rank
@@ Property / cites work @@
+Small bisimulations for reasoning about higher-order imperative programs
+Normal rank
@@ Property / cites work @@
+Q5144664
@@ Property / cites work: Q5144664 / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Abstract Trace Semantics for General References
+Normal rank
@@ Property / cites work @@
+Typed Normal Form Bisimulation
@@ Property / cites work: Typed Normal Form Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems over games
@@ Property / cites work: Transition systems over games / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Bisimulations and Functional Languages
@@ Property / cites work: Logical Bisimulations and Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A complete, co-inductive syntactic theory of sequential control and state
+Normal rank
@@ Property / cites work @@
+A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
+Normal rank
@@ Property / cites work @@
+Q2704331
@@ Property / cites work: Q2704331 / rank @@
+Normal rank
@@ Property / cites work @@
+A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc
+Normal rank