Subtyping for session types in the pi calculus

DOI10.1007/s00236-005-0177-zzbMath1079.68065MaRDI QIDQ2576666

Publication date: 14 December 2005

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-005-0177-z

zbMATH Keywords

typechecking algorithm; typing rules

Mathematics Subject Classification ID

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

Related Items

Linear type theory for asynchronous session types, Deriving session and union types for objects, Asynchronous Session Types and Progress for Object Oriented Languages, Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders, Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines, Sub-behaviour relations for session-based client/server systems, Global escape in multiparty sessions, Linearity, session types and the Pi calculus, Linear logic propositions as session types, Fair subtyping for multi-party session types, An extensible approach to session polymorphism, Modelling session types using contracts, Typing Copyless Message Passing, Event-based run-time adaptation in communication-centric systems, Self-adaptation and secure information flow in multiparty communications, Reversible session-based pi-calculus, An algebraic theory for web service contracts, Conversation types, Fundamentals of session types, The stream-based service-centred calculus: a foundation for service-oriented programming, Type checking a multithreaded functional language with session types, Combining behavioural types with security analysis, Contract-based discovery of Web services modulo simple orchestrators, 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, Algorithmic type checking for a pi-calculus with name matching and session types, Exception handling for copyless messaging, Corecursion and Non-divergence in Session-Typed Processes, A Calculus of Global Interaction based on Session Types, Propositions as sessions, On projecting processes into session types, Full Abstraction in a Subtyped pi-Calculus with Linear Types, Contracts for Mobile Processes, Subtyping Supports Safe Session Substitution, Certifying Data in Multiparty Session Types, Compliance in Behavioural Contracts: A Brief Survey, Bounded polymorphism in session types, Session-Based Communication Optimisation for Higher-Order Mobile Processes

Uses Software

Cites Work