Asynchronous Session Types and Progress for Object Oriented Languages

DOI10.1007/978-3-540-72952-5_1zbMath1202.68094OpenAlexW114044564MaRDI QIDQ5428903

Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Mario Coppo

Publication date: 28 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9093

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (15)

Compliance in Behavioural Contracts: A Brief Survey ⋮ Contracts for Mobile Processes ⋮ Reversing Single Sessions ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Reversible session-based pi-calculus ⋮ Deriving session and union types for objects ⋮ Linearity, session types and the Pi calculus ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ On asynchronous eventful session semantics ⋮ An extensible approach to session polymorphism ⋮ Linear type theory for asynchronous session types ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Objects and session types ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

Uses Software

• Featherweight Java
• MJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type checking a multithreaded functional language with session types
• Objects and session types
• A calculus of mobile processes. II
• Subtyping for session types in the pi calculus
• Bounded Session Types for Object Oriented Languages
• Correspondence assertions for process synchronization in concurrent communications
• CONCUR 2004 - Concurrency Theory
• Trustworthy Global Computing
• Structured Communication-Centred Programming for Web Services

This page was built for publication: Asynchronous Session Types and Progress for Object Oriented Languages