A calculus for attribute-based memory updates

DOI10.1007/978-3-030-85315-0_21OpenAlexW3194396496MaRDI QIDQ2119988

Marino Miculan, Michele Pasqua

Publication date: 31 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85315-0_21

zbMATH Keywords

distributed systemsformal methodsautonomic computingECA rulesattribute-based communication

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

AbU: a calculus for distributed event-driven programming with attribute-based interaction ⋮ On the security and safety of AbU systems

Uses Software

• KLAIM
• SCEL
• Unnamed Item

Cites Work

• Unnamed Item
• On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
• A calculus for collective-adaptive systems and its behavioural theory
• On the Power of Attribute-Based Communication
• The Impact of RDMA on Agreement
• Passing Messages while Sharing Memory

This page was built for publication: A calculus for attribute-based memory updates