Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A calculus for collective… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A calculus for collective-adaptive systems and its behavioural theory

Artikel i vetenskaplig tidskrift
Författare Yehia Abd Alrahman
Rocco De Nicola
Michele Loreti
Publicerad i Information and Computation
Volym 268
ISSN 0890-5401
Publiceringsår 2019
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Språk en
Länkar https://doi.org/10.1016/j.ic.2019.1...
https://gup.ub.gu.se/file/207889
Ämnesord Attribute-based communication, Behavioural theory, Collective-adaptive systems, Operational semantics, Process calculus
Ämneskategorier Teoretisk datalogi

Sammanfattning

© 2019 Elsevier Inc. We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account “connections” as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labelled Transition Systems that are also used to define bisimilarity between components. Labelled bisimilarity is in full agreement with a barbed congruence, defined by relying on simple basic observables and context closure. The introduced equivalence is used to study the expressiveness of AbC in terms of encoding aspects of broadcast channel-based interactions and to establish formal relationships between system descriptions at different levels of abstraction.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?