A calculus for collective-adaptive systems and its behavioural theory

DOI10.1016/j.ic.2019.104457zbMath1430.68158DBLPjournals/iandc/AlrahmanNL19OpenAlexW2970561720WikidataQ95561201 ScholiaQ95561201MaRDI QIDQ2272994

Rocco De Nicola, Michele Loreti, Yehia Abd Alrahman

Publication date: 17 September 2019

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2019.104457

zbMATH Keywords

operational semanticsprocess calculusbehavioural theoryattribute-based communicationcollective-adaptive systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

A calculus for attribute-based memory updates ⋮ AbU: a calculus for distributed event-driven programming with attribute-based interaction ⋮ A PO characterisation of reconfiguration ⋮ A coordination protocol language for power grid operation control ⋮ A formal approach to the engineering of domain-specific distributed systems

Uses Software

• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• A calculus of mobile processes. II
• Basic observables for processes
• On reduction-based process semantics
• Towards a unified approach to encodability and separation results for process calculi
• Computation in networks of passively mobile finite-state sensors
• Explicit fusions
• On the Power of Attribute-Based Communication
• Expressiveness via Intensionality and Concurrency
• Psi-calculi: a framework for mobile processes with nominal data and logic
• The Attributed Pi-Calculus with Priorities
• Concurrent Pattern Calculus
• The Applied Pi Calculus
• Barbed bisimulation
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

This page was built for publication: A calculus for collective-adaptive systems and its behavioural theory