@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
  author    = {Yehia {Abd Alrahman} and
               Rocco {De Nicola} and
               Giulio Garbi and
               Michele Loreti},
  editor    = {Christel Baier and
               Lu{\'{\i}}s Caires},
  title     = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
               as Part of the 13th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {1-20},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92612-4\_1},
  doi       = {10.1007/978-3-319-92612-4\_1},
  abstract  = {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.}
}

{"_id":"5REmhaLDshmK8vAwL","bibbaseid":"abdalrahman-denicola-garbi-loreti-adistributedcoordinationinfrastructureforattributebasedinteraction-2018","author_short":["Abd Alrahman, Y.","De Nicola, R.","Garbi, G.","Loreti, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yehia"],"propositions":[],"lastnames":["Abd Alrahman"],"suffixes":[]},{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Giulio"],"propositions":[],"lastnames":["Garbi"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]}],"editor":[{"firstnames":["Christel"],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Luís"],"propositions":[],"lastnames":["Caires"],"suffixes":[]}],"title":"A Distributed Coordination Infrastructure for Attribute-Based Interaction","booktitle":"Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"10854","pages":"1-20","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-92612-4\\_1","doi":"10.1007/978-3-319-92612-4_1","abstract":"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.","bibtex":"@inproceedings{DBLP:conf/forte/AlrahmanNGL18,\n author = {Yehia {Abd Alrahman} and\n Rocco {De Nicola} and\n Giulio Garbi and\n Michele Loreti},\n editor = {Christel Baier and\n Lu{\\'{\\i}}s Caires},\n title = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},\n booktitle = {Formal Techniques for Distributed Objects, Components, and Systems\n - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held\n as Part of the 13th International Federated Conference on Distributed\n Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10854},\n pages = {1-20},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-92612-4\\_1},\n doi = {10.1007/978-3-319-92612-4\\_1},\n abstract = {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.}\n}\n\n\n\n","author_short":["Abd Alrahman, Y.","De Nicola, R.","Garbi, G.","Loreti, M."],"editor_short":["Baier, C.","Caires, L."],"key":"DBLP:conf/forte/AlrahmanNGL18","id":"DBLP:conf/forte/AlrahmanNGL18","bibbaseid":"abdalrahman-denicola-garbi-loreti-adistributedcoordinationinfrastructureforattributebasedinteraction-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-92612-4\\_1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://lazkany.bitbucket.io/publication.bib","dataSources":["9BWFRLuir5vrfREwa"],"keywords":[],"search_terms":["distributed","coordination","infrastructure","attribute","based","interaction","abd alrahman","de nicola","garbi","loreti"],"title":"A Distributed Coordination Infrastructure for Attribute-Based Interaction","year":2018}