?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F2729%2F&rft.title=On+Expressiveness+and+Behavioural+Theory+of+Attribute-based%0D%0ACommunication&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=Attribute-based+communication+is+an+interesting+alternative+to+broadcast+and+binary+communication+when+providing+abstract+models+for+the+so+called+Collective+Adaptive+Systems+which+consist+of+a+large+number+of+interacting+components+that+dynamically+adjust+and+combine+their+behavior+to+achieve+specifc+goals.+A+basic+process+calculus%2C+named+AbC%2C+is+introduced+whose+primary%0D%0Aprimitive+for+interaction+is+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+interactions+among+components+are+dynamically+established+by+taking+into+account%5Cconnections%22+as+determined+by+predicates+over+the+attributes%0D%0Aexposed+by+components.+First%2C+the+syntax+and+the+semantics+of+AbC+are+presented%2C+then+expressiveness+and+effectiveness+of+the+calculus+are+demonstrated+both+in+terms+of+the+ability+to+model+scenarios+featuring+collaboration%2C+reconfiguration%2C+and+adaptation%0D%0Aand+of+the+possibility+of+encoding+a+process+calculus+for+broadcasting+channel-based+communication+and+other+communication%0D%0Aparadigms.+Behavioral+equivalences+for+AbC+are+introduced+for+establishing+formal+relationships+between+different+descriptions%0D%0Aof+the+same+system.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2015-07&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.rights=cc_by_nc_nd&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F2729%2F1%2FTR_2015_10.pdf&rft.identifier=++Abd+Alrahman%2C+Yehia+Moustafa+and+De+Nicola%2C+Rocco+and+Loreti%2C+Michele++On+Expressiveness+and+Behavioural+Theory+of+Attribute-based+Communication.++CSA+Technical+Report++%2310%2F2015++++IMT+Institute+for+Advanced+Studies+Lucca+++++++(Submitted)+++