Conversation types

DOI10.1016/J.TCS.2010.09.010zbMATH Open1207.68222OpenAlexW2915033835MaRDI QIDQ615952FDOQ615952

Hugo Torres Vieira, Luís Caires

Publication date: 7 January 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.09.010

zbMATH Keywords

distributed systemssession typesbehavioral typesprogram analysisservice-based systems

Mathematics Subject Classification ID

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

Cites Work

• A calculus of mobile processes. II
• Multiparty asynchronous session types
• Subtyping for session types in the pi calculus
• The \(\pi\)-calculus: A theory of mobile processes
• Types and programing languages
• Structured Communication-Centred Programming for Web Services
• A New Type System for Deadlock-Free Processes
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Title not available (Why is that?)
• A generic type system for the pi-calculus
• Types as models
• A Type System for Client Progress in a Service-Oriented Calculus
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• Conversation Types
• Spatial-behavioral types for concurrency and resource control in distributed systems

Cited In (15)

• An algebra of behavioural types
• A coordination protocol language for power grid operation control
• Linearity, session types and the Pi calculus
• Fundamentals of session types
• Deadlock analysis of unbounded process networks
• Reversibility in session-based concurrency: a fresh look
• Safe session-based concurrency with shared linear state
• The stream-based service-centred calculus: a foundation for service-oriented programming
• Dynamic role authorization in multiparty conversations
• Reversible session-based pi-calculus
• Global progress for dynamically interleaved multiparty sessions
• On asynchronous eventful session semantics
• Fault-tolerant multiparty session types
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• Lightening global types

Uses Software

• PIPER

This page was built for publication: Conversation types

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