AbU: a calculus for distributed event-driven programming with attribute-based interaction

DOI10.1016/J.TCS.2023.113841MaRDI QIDQ6038690zbMATH OpenOpenAlexFDO

Authors Michele Pasqua, Marino Miculan

Publication date 2 May 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

distributed systemsformal methodsECA rulesedge computingattribute-based communicationIoT programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• On the security and safety of AbU systems
• Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems
• On the Power of Attribute-Based Communication
• A calculus for collective-adaptive systems and its behavioural theory
• Verifying properties of systems relying on attribute-based communication

Cites work

• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A calculus for attribute-based memory updates
• A calculus for collective-adaptive systems and its behavioural theory
• A higher-order calculus of computational fields
• Asynchronous consensus and broadcast protocols
• Deterministic semi-Thue systems and variants of Post correspondence problem
• On the Power of Attribute-Based Communication
• On the formalization of the modal -calculus in the calculus of inductive constructions
• Operating systems. An advanced course
• Passing messages while sharing memory
• Reasoning about rational agents
• Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6--10, 2021. Proceedings
• Structural operational semantics for non-deterministic processes with quantitative aspects
• The Impact of RDMA on Agreement

Cited in

(1)

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

This page was built for publication: AbU: a calculus for distributed event-driven programming with attribute-based interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6038690)