AbU: a calculus for distributed event-driven programming with attribute-based interaction
From MaRDI portal
Publication:6038690
DOI10.1016/J.TCS.2023.113841OpenAlexW4362591135MaRDI QIDQ6038690FDOQ6038690
Authors: 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
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
distributed systemsformal methodsECA rulesedge computingattribute-based communicationIoT programming
Cites Work
- Reasoning about rational agents
- Title not available (Why is that?)
- Title not available (Why is that?)
- Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6--10, 2021. Proceedings
- Asynchronous consensus and broadcast protocols
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Operating systems. An advanced course
- Deterministic semi-Thue systems and variants of Post correspondence problem
- A calculus for collective-adaptive systems and its behavioural theory
- A higher-order calculus of computational fields
- A calculus for attribute-based memory updates
- On the Power of Attribute-Based Communication
- The Impact of RDMA on Agreement
- Passing messages while sharing memory
Cited In (1)
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)
