Conversation Types

DOI10.1007/978-3-642-00590-9_21MaRDI QIDQ3617706zbMATH OpenOpenAlexFDO

Authors Luís Caires, Hugo Torres Vieira

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_21

Mathematics Subject Classification ID

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

Recommendations

• Conversation types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Session types at the mirror
• Multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions

Cited in

(12)

• A WSDL-based type system for asynchronous WS-BPEL processes
• Programming and reasoning about actors that share state
• Open compliance in multiparty sessions with partial typing
• Comparing type systems for deadlock freedom
• Contracts for Mobile Processes
• Dynamic role authorization in multiparty conversations
• Conversation types
• A type theory for robust failure handling in distributed systems
• On projecting processes into session types
• scientific article; zbMATH DE number 7269246 (Why is no real title available?)
• Choreographies, logically
• A Type System for Client Progress in a Service-Oriented Calculus

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 Q3617706)