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

Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Mixed Sessions, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, Back to futures, Deciding the Bisimilarity of Context-Free Session Types, Linear type theory for asynchronous session types, Session Types with Arithmetic Refinements, Probabilistic Analysis of Binary Sessions, A simple library implementation of binary sessions, 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, Unnamed Item, Unnamed Item, 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, Session-typed concurrent contracts, Deconfined Global Types for Asynchronous Sessions, Precise Subtyping for Asynchronous Multiparty Sessions, A Sound Algorithm for Asynchronous Session Subtyping, Session-based concurrency in Maude: executable semantics and type checking, Polarized subtyping, Event-based run-time adaptation in communication-centric systems, Self-adaptation and secure information flow in multiparty communications, Orchestrated session compliance, Verifiable abstractions for contract-oriented systems, 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 types and subtyping for orchestrated interactions, Multiparty session types, beyond duality, On the boundary between decidability and undecidability of asynchronous session subtyping, Process calculi as a tool for studying coordination, contracts and session types, Composition and decomposition of multiparty sessions, Session types without sophistry. System description, Mixed sessions, Polymorphic lambda calculus with context-free session types, Using session types for reasoning about boundedness in the \(\pi\)-calculus, Fair refinement for asynchronous session types, Nested session types, Session coalgebras: a coalgebraic view on session types and communication protocols, Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus, Data-driven adaptation for smart sessions, Certifying data in multiparty session types, Session types revisited, Undecidability of asynchronous session subtyping, Precise subtyping for synchronous multiparty sessions, Algorithmic type checking for a pi-calculus with name matching and session types, Exception handling for copyless messaging, Comparing type systems for deadlock freedom, Corecursion and Non-divergence in Session-Typed Processes, Type-Based Analysis for Session Inference (Extended Abstract), A Calculus of Global Interaction based on Session Types, Propositions as sessions, On projecting processes into session types, On the Undecidability of Asynchronous Session Subtyping, Full Abstraction in a Subtyped pi-Calculus with Linear Types, Behavioural Analysis of Sessions Using the Calculus of Structures, Substructural Proofs as Automata, Binary Session Types for Psi-Calculi, 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