On the Relative Expressiveness of Higher-Order Session Processes (Q2802492): Difference between revisions

@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2461655671
@@ Property / OpenAlex ID: W2461655671 / rank @@
+Normal rank
@@ Property / cites work @@
+On Duality Relations for Session Types
@@ Property / cites work: On Duality Relations for Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Copyless Message Passing
@@ Property / cites work: Typing Copyless Message Passing / rank @@
+Normal rank
@@ Property / cites work @@
+A CPS encoding of name-passing in higher-order mobile embedded resources
+Normal rank
@@ Property / cites work @@
+Session types revisited
@@ Property / cites work: Session types revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction in a Subtyped pi-Calculus with Linear Types
+Normal rank
@@ Property / cites work @@
+Variations on mobile processes
@@ Property / cites work: Variations on mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of interaction
@@ Property / cites work: On the expressiveness of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic bisimulation for higher-order session processes
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of higher-order process calculi
+Normal rank
@@ Property / cites work @@
+Q2863844
@@ Property / cites work: Q2863844 / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based typed assembly language
@@ Property / cites work: Stack-based typed assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Two Session Typing Systems for Higher-Order Mobile Processes
+Normal rank
@@ Property / cites work @@
+Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+What is a ``good'' encoding of guarded choice?
@@ Property / cites work: What is a ``good'' encoding of guarded choice? / rank @@
+Normal rank
@@ Property / cites work @@
+Effects as sessions, sessions as effects
@@ Property / cites work: Effects as sessions, sessions as effects / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3059188
@@ Property / cites work: Q3059188 / rank @@
+Normal rank
@@ Property / cites work @@
+On Distributability in Process Calculi
@@ Property / cites work: On Distributability in Process Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Asynchronous process calculi: The first- and higher-order paradigms
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Trees from Functions as Processes
@@ Property / cites work: Trees from Functions as Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ Property / cites work @@
+Distinguishing and relating higher-order and first-order processes by expressiveness
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank