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

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

Related Items (6)

Nominal essential intersection types ⋮ Sub-behaviour relations for session-based client/server systems ⋮ Linearity, session types and the Pi calculus ⋮ Fair subtyping for multi-party session types ⋮ Unnamed Item ⋮ 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

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