?url_ver=Z39.88-2004&rft_id=arXiv%3A1711.09762&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F3945%2F&rft.title=A+Behavioural+Theory+for+Interactions+in+Collective-Adaptive+Systems&rft.creator=Abd+Alrahman%2C+Yehia+Moustafa&rft.creator=De+Nicola%2C+Rocco&rft.creator=Loreti%2C+Michele&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+propose+a+process+calculus%2C+named+AbC%2C+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%2C+and+interaction+among+components+is+dynamically+established+by+taking+into+account+%22connections%22+as+determined+by+predicates+over+their+attributes.+The+structural+operational+semantics+of+AbC+is+based+on+Labeled+Transition+Systems+that+are+also+used+to+define+bisimilarity+between+components.+Labeled+bisimilarity+is+in+full+agreement+with+a+barbed+congruence%2C+defined+by+simple+basic+observables+and+context+closure.+The+introduced+equivalence+is+used+to+study+the+expressiveness+of+AbC+in+terms+of+encoding+broadcast+channel-based+interactions+and+to+establish+formal+relationships+between+system+descriptions+at+different+levels+of+abstraction.&rft.publisher=arXiv&rft.date=2017&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.rights=cc_by_nc&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F3945%2F1%2F1711.09762.pdf&rft.identifier=++Abd+Alrahman%2C+Yehia+Moustafa+and+De+Nicola%2C+Rocco+and+Loreti%2C+Michele++A+Behavioural+Theory+for+Interactions+in+Collective-Adaptive+Systems.++Working+Paper+++arXiv+++++++(Submitted)+++&rft.relation=https%3A%2F%2Farxiv.org%2Fabs%2F1711.09762&rft.relation=arXiv%3A1711.09762