Publication:5009458

DOI10.4230/LIPIcs.CONCUR.2018.40MaRDI QIDQ5009458

Massimo Bartoletti, Maurizio Murgia, Laura Bocchi

Publication date: 4 August 2021

zbMATH Keywords

message passing; protocol implementation; communicating timed automata

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• Kronos
• Uppaal
• Erlang