Typechecking safe process synchronization

MaRDI QIDQ2848666zbMATH OpenFDO

Authors Eduardo Bonelli, Elsa Gunter, Adriana Compagnoni

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610505108X

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiparty Asynchronous Session Types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Type checking a multithreaded functional language with session types
• Correspondence assertions for process synchronization in concurrent communications
• Certifying data in multiparty session types

Cited in

(6)

• Session-typed concurrent contracts
• Objects and session types
• Certifying data in multiparty session types
• Type checking a multithreaded functional language with session types
• A type system for lock-free processes
• Subtyping for session types in the pi calculus

This page was built for publication: Typechecking safe process synchronization

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