On projecting processes into session types

DOI10.1017/S0960129511000405zbMath1277.68199MaRDI QIDQ2883119

Luca Padovani

Publication date: 11 May 2012

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

Mathematics Subject Classification ID

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

68M14: Distributed systems

Related Items

Unnamed Item, Sub-behaviour relations for session-based client/server systems, Linearity, session types and the Pi calculus, Fair subtyping for multi-party session types, Nominal essential intersection types, A type checking algorithm for concurrent object protocols

Uses Software

• PiDuce
• PIPER

Cites Work

• Unnamed Item
• Unnamed Item
• PiDuce- A project for experimenting web services technologies
• Type checking a multithreaded functional language with session types
• Fair testing
• Semantic subtyping for the pi-calculus
• Amalgamating sessions and methods in object-oriented languages with generics
• Objects and session types
• Fundamental properties of infinite trees
• Testing equivalences for processes
• A generic type system for the pi-calculus
• Subtyping for session types in the pi calculus
• Contracts for Mobile Processes
• Multiparty asynchronous session types
• Semantic subtyping
• A Type System for Client Progress in a Service-Oriented Calculus
• The Pairing of Contracts and Session Types
• Contract Based Multi-party Service Composition
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Session Types as Intuitionistic Linear Propositions
• A Linear Account of Session Types in the Pi Calculus
• Conversation Types