<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On Expressiveness and Behavioural Theory of Attribute-based\r\nCommunication"^^ . "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, named AbC, is introduced whose primary\r\nprimitive 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, and interactions among components are dynamically established by taking into account\\connections\" as determined by predicates over the attributes\r\nexposed by components. First, the syntax and the semantics of AbC are presented, then expressiveness and effectiveness of the calculus are demonstrated both in terms of the ability to model scenarios featuring collaboration, reconfiguration, and adaptation\r\nand of the possibility of encoding a process calculus for broadcasting channel-based communication and other communication\r\nparadigms. Behavioral equivalences for AbC are introduced for establishing formal relationships between different descriptions\r\nof the same system."^^ . "2015-07" . . "10" . . "IMT Institute for Advanced Studies Lucca"^^ . . . . . . . . . . . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Yehia Moustafa"^^ . "Abd Alrahman"^^ . "Yehia Moustafa Abd Alrahman"^^ . . . . . . "On Expressiveness and Behavioural Theory of Attribute-based\r\nCommunication (PDF)"^^ . . . . . . "TR_2015_10.pdf"^^ . . . "On Expressiveness and Behavioural Theory of Attribute-based\r\nCommunication (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "On Expressiveness and Behavioural Theory of Attribute-based\r\nCommunication (Other)"^^ . . . . . . "preview.jpg"^^ . . . "On Expressiveness and Behavioural Theory of Attribute-based\r\nCommunication (Other)"^^ . . . . . . "medium.jpg"^^ . . . "On Expressiveness and Behavioural Theory of Attribute-based\r\nCommunication (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2729 \n\nOn Expressiveness and Behavioural Theory of Attribute-based \nCommunication\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .