Verifying asynchronous interactions via communicating session automata

DOI10.1007/978-3-030-25540-4_6arXiv1901.09606OpenAlexW2965154247MaRDI QIDQ6154577

Julien Lange, Nobuko Yoshida

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.09606

Mathematics Subject Classification ID

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

Related Items (3)

Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ Unnamed Item ⋮ Session types without sophistry. System description

This page was built for publication: Verifying asynchronous interactions via communicating session automata