Conversation types

DOI10.1016/J.TCS.2010.09.010zbMath1207.68222OpenAlexW2915033835MaRDI QIDQ615952

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 systemsprogram analysissession typesbehavioral typesservice-based systems

Mathematics Subject Classification ID

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

Related Items (14)

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

Uses Software

• PIPER

Cites Work

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

This page was built for publication: Conversation types