Bounded polymorphism in session types

DOI10.1017/S0960129508006944MaRDI QIDQ3535678zbMATH OpenOpenAlexFDO

Authors Simon J. Gay

Publication date 13 November 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129508006944

zbMATH Keywords

pi calculussubtyping for session types

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Subtyping for session types in the pi calculus
• Bounded Session Types for Object Oriented Languages
• Nested session types
• An extensible approach to session polymorphism
• Subtyping Supports Safe Session Substitution

Cites work

• A calculus of mobile processes. I
• Behavioral equivalence in the polymorphic pi-calculus
• Correspondence assertions for process synchronization in concurrent communications
• Linear logic
• Subtyping for session types in the pi calculus
• The -calculus: A theory of mobile processes
• Type checking a multithreaded functional language with session types

Cited in

(22)

• Compliance and subtyping in timed session types
• EXPRESSing session types
• Subtyping context-free session types
• Nested session types
• Polymorphic lambda calculus with context-free session types
• Using session types for reasoning about boundedness in the \(\pi\)-calculus
• Subtyping Supports Safe Session Substitution
• Deriving session and union types for objects
• Objects and session types
• On session types and polynomial time
• An extensible approach to session polymorphism
• Amalgamating sessions and methods in object-oriented languages with generics
• Binary session types for psi-calculi
• Subtyping context-free session types
• Session types revisited
• Linear type theory for asynchronous session types
• Polymorphic higher-order context-free session types
• On the boundary between decidability and undecidability of asynchronous session subtyping
• Bounded Session Types for Object Oriented Languages
• System \(F^\mu_\omega\) with context-free session types
• Behavioral polymorphism and parametricity in session-based communication
• Subtyping for session types in the pi calculus

This page was built for publication: Bounded polymorphism in session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535678)