Bounded Session Types for Object Oriented Languages

DOI10.1007/978-3-540-74792-5_10zbMath1147.68445OpenAlexW2121663222MaRDI QIDQ3525113

Sophia Drossopoulou, Nobuko Yoshida, Elena Giachino, Mariangiola Dezani-Ciancaglini

Publication date: 17 September 2008

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74792-5_10

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

Type checking a multithreaded functional language with session types ⋮ Session types revisited ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Deriving session and union types for objects ⋮ Linearity, session types and the Pi calculus ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Objects and session types ⋮ Theoretical Aspects of Communication-Centred Programming

This page was built for publication: Bounded Session Types for Object Oriented Languages