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)

• Choreographies, logically
• Comparing type systems for deadlock freedom
• A type theory for robust failure handling in distributed systems
• On projecting processes into session types
• Dynamic role authorization in multiparty conversations
• Contracts for Mobile Processes
• A Type System for Client Progress in a Service-Oriented Calculus
• On resolving non-determinism in choreographies
• A WSDL-based type system for asynchronous WS-BPEL processes
• Conversation types
• Programming and reasoning about actors that share state
• Open compliance in multiparty sessions with partial typing

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)