Automated modular verification for relaxed communication protocols

DOI10.1007/978-3-030-02768-1_16MaRDI QIDQ6166152zbMATH OpenOpenAlexFDO

Authors Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun

Publication date 2 August 2023

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

Full work available at URL https://research.tees.ac.uk/en/publications/a2413394-d21f-451c-9189-59f355819b1b

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

• scientific article; zbMATH DE number 7075898
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Multiparty Asynchronous Session Types
• A gentle introduction to multiparty asynchronous session types
• Trustworthy Global Computing

Cited in

(2)

• Deriving session and union types for objects
• scientific article; zbMATH DE number 7566072 (Why is no real title available?)

This page was built for publication: Automated modular verification for relaxed communication protocols

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