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, Deriving session and union types for objects, Asynchronous Session Types and Progress for Object Oriented Languages, Combining behavioural types with security analysis, Type inference and strong static type checking for Promela, Amalgamating sessions and methods in object-oriented languages with generics, Objects and session types, Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus, Synthesizing distributed protocol specifications from a UML state machine modeled service specification, Algorithmic type checking for a pi-calculus with name matching and session types, Session Types with Gradual Typing, A Calculus of Global Interaction based on Session Types, On projecting processes into session types

Uses Software

• Featherweight Java
• MJ

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item