Objects and session types

DOI10.1016/j.ic.2008.03.028zbMath1183.68358MaRDI QIDQ1021571

Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Sophia Drossopoulou, Dimitris Mostrous

Publication date: 8 June 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.03.028

Mathematics Subject Classification ID

68N15: Theory of programming languages

68Q55: Semantics in the theory of computing

68N99: Theory of software

Related Items

Concurrent Objects à la Carte, Asynchronous Session Types and Progress for Object Oriented Languages, Type inference and strong static type checking for Promela, Amalgamating sessions and methods in object-oriented languages with generics, Objects and session types, On projecting processes into session types

Uses Software

• Featherweight Java
• MJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type checking a multithreaded functional language with session types
• Service oriented computing from a process algebraic perspective
• Amalgamating sessions and methods in object-oriented languages with generics
• Objects and session types
• A calculus of mobile processes. II
• Typing correspondence assertions for communication protocols
• Formalising Java RMI with explicit code mobility
• Subtyping for session types in the pi calculus
• A Calculus of Global Interaction based on Session Types
• Theoretical Aspects of Communication-Centred Programming
• A theory of contracts for web services
• A Type System for Client Progress in a Service-Oriented Calculus
• Session and Union Types for Object Oriented Programming
• The Pairing of Contracts and Session Types
• Bounded Session Types for Object Oriented Languages
• Bounded polymorphism in session types
• Spatial-Behavioral Types, Distributed Services, and Resources
• Two Session Typing Systems for Higher-Order Mobile Processes
• Correspondence assertions for process synchronization in concurrent communications
• Trustworthy Global Computing
• Asynchronous Session Types and Progress for Object Oriented Languages
• The Principal Type-Scheme of an Object in Combinatory Logic
• Structured Communication-Centred Programming for Web Services
• A New Type System for Deadlock-Free Processes