On projecting processes into session types

DOI10.1017/S0960129511000405MaRDI QIDQ2883119zbMATH OpenFDO

Authors Luca Padovani

Publication date 11 May 2012

Published in MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session types at the mirror
• Fundamentals of session types
• Session types as generic process types
• Session types revisited
• Linearity, session types and the pi calculus

Cites work

• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A Type System for Client Progress in a Service-Oriented Calculus
• A generic type system for the pi-calculus
• A linear account of session types in the pi calculus
• Amalgamating sessions and methods in object-oriented languages with generics
• Contract Based Multi-party Service Composition
• Contracts for Mobile Processes
• Conversation Types
• Fair testing
• Fundamental properties of infinite trees
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Multiparty asynchronous session types
• Objects and session types
• PiDuce- A project for experimenting web services technologies
• Semantic subtyping for the pi-calculus
• Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• Testing equivalences for processes
• The Pairing of Contracts and Session Types
• Type checking a multithreaded functional language with session types

Cited in

(9)

• Nominal essential intersection types
• Conflation confers concurrency
• A type checking algorithm for concurrent object protocols
• Linearity, session types and the pi calculus
• Sub-behaviour relations for session-based client/server systems
• Session types at the mirror
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Fair subtyping for multi-party session types
• Session types = intersection types + union types

Describes a project that uses

Uses Software

• PIPER
• PiDuce

This page was built for publication: On projecting processes into session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883119)