Parameterised verification of publish/subscribe networks with exception handling

DOI10.1007/978-3-030-30806-3_9OpenAlexW2972175790MaRDI QIDQ2330595

Giorgio Delzanno

Publication date: 22 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-30806-3_9

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)

This page was built for publication: Parameterised verification of publish/subscribe networks with exception handling