On the Power of Attribute-Based Communication

DOI10.1007/978-3-319-39570-8_1zbMath1347.68022arXiv1602.05635OpenAlexW2284655150WikidataQ95559430 ScholiaQ95559430MaRDI QIDQ2827459

Yehia Abd Alrahman, Michele Loreti, Rocco De Nicola

Publication date: 19 October 2016

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.05635

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items

A calculus for attribute-based memory updates ⋮ Unnamed Item ⋮ AbU: a calculus for distributed event-driven programming with attribute-based interaction ⋮ On the security and safety of AbU systems ⋮ A calculus for collective-adaptive systems and its behavioural theory ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ On the Power of Attribute-Based Communication

Uses Software

• SCEL

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• A calculus of mobile processes. II
• On reduction-based process semantics
• On the Power of Attribute-Based Communication
• The Attributed Pi-Calculus with Priorities
• Concurrent Pattern Calculus
• Communicating sequential processes
• Agents and Peer-to-Peer Computing