Compositionality of safe communication in systems of team automata

DOI10.1007/978-3-030-64276-1_11OpenAlexW3108621583MaRDI QIDQ2037944

H. C. M. Kleijn, Rolf Hennicker, Maurice H. ter Beek

Publication date: 8 July 2021

Full work available at URL: https://zenodo.org/record/4050293

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

A Theory of Formal Choreographic Languages ⋮ Can we communicate? Using dynamic logic to verify team automata ⋮ Unnamed Item

This page was built for publication: Compositionality of safe communication in systems of team automata