Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems

DOI10.1016/J.TCS.2024.114537OpenAlexW4393282143MaRDI QIDQ6129705

Michele Pasqua, Marino Miculan

Publication date: 17 April 2024

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2024.114537

zbMATH Keywords

verificationdistributed systemsformal methodsbisimulationsautonomic computingECA rulesIoT programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems