AbU: a calculus for distributed event-driven programming with attribute-based interaction
From MaRDI portal
Publication:6038690
DOI10.1016/j.tcs.2023.113841MaRDI QIDQ6038690
Marino Miculan, Michele Pasqua
Publication date: 2 May 2023
Published in: Theoretical Computer Science (Search for Journal in Brave)
distributed systems; formal methods; ECA rules; edge computing; attribute-based communication; IoT programming
68Qxx: Theory of computing