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

DOI10.1016/j.tcs.2023.113841OpenAlexW4362591135MaRDI QIDQ6038690

Michele Pasqua, Marino Miculan

Publication date: 2 May 2023

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

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural operational semantics for non-deterministic processes with quantitative aspects
• Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6--10, 2021. Proceedings
• Operating systems. An advanced course
• On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
• A calculus for attribute-based memory updates
• A calculus for collective-adaptive systems and its behavioural theory
• On the Power of Attribute-Based Communication
• Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem
• Asynchronous consensus and broadcast protocols
• A Higher-Order Calculus of Computational Fields
• The Impact of RDMA on Agreement
• Passing Messages while Sharing Memory

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