Recursive Session Types Revisited

@inproceedings{Dardha2014RecursiveST,
  title={Recursive Session Types Revisited},
  author={Ornela Dardha},
  booktitle={BEAT},
  year={2014}
}
  • Ornela Dardha
  • Published in BEAT 2014
  • Computer Science
  • Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a distributed scenario. Adding sessions to the pi-calculus means augmenting it with type and term constructs. In a previous paper, we tried to understand to which extent the session constructs are more complex and expressive than the standard pi-calculus constructs. Thus, we presented an encoding of binary session pi… CONTINUE READING
    20 Citations
    Session types revisited
    • 103
    • PDF
    Nested Session Types
    Structural Recursion for Session Types
    Talking bananas: structural recursion for session types
    • 39
    • PDF
    Nested Polymorphic Session Types
    Lightweight functional session types
    • 21
    • PDF
    A New Linear Logic for Deadlock-Free Session-Typed Processes
    • 15
    • PDF
    π with leftovers: a mechanisation in Agda
    Type Systems for Distributed Programs: Session Communication

    References

    SHOWING 1-10 OF 20 REFERENCES
    Session types revisited
    • 103
    • PDF
    Fundamentals of session types
    • 83
    • Highly Influential
    • PDF
    Subtyping for session types in the pi calculus
    • 342
    • PDF
    Bounded polymorphism in session types
    • S. Gay
    • Computer Science
    • Math. Struct. Comput. Sci.
    • 2008
    • 48
    • PDF
    On Duality Relations for Session Types
    • 31
    • PDF
    Language Primitives and Type Discipline for Structured Communication-Based Programming
    • 802
    • PDF
    Linearity and the pi-calculus
    • 323
    An Interaction-based Language and its Typing System
    • 340
    The Pi-Calculus - a theory of mobile processes
    • 1,284
    • Highly Influential
    • PDF
    Type Systems for Distributed Programs: Components and Sessions
    • 10
    • PDF