To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A distributed coordinatio… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

A distributed coordination infrastructure for attribute-based interaction

Conference paper
Authors Yehia Abd Alrahman
Rocco De Nicola
Giulio Garbi
Michele Loreti
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN 0302-9743
Publisher Springer
Publication year 2018
Published at
Language en
Keywords Attribute-based interaction, Process calculi, Semantics
Subject categories Theoretical computer science


© IFIP International Federation for Information Processing 2018. Collective-adaptive systems offer an interesting notion of interaction where run-time contextual data are the driving force for interaction. The attribute-based interaction has been proposed as a foundational theoretical framework to model CAS interactions. The framework permits a group of partners to interact by considering their run-time properties and their environment. In this paper, we lay the basis for an efficient, correct, and distributed implementation of the attribute-based interaction framework. First, we present three coordination infrastructures for message exchange, then we prove their correctness, and finally we model them in terms of stochastic processes to evaluate their performance.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?