<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Global Protocol Implementations via Attribute-Based Communication"^^ . "Several type systems have been developed to address the conformance between specifications and implementations, where types are specifications and type-checking ensures the conformance relation. In this paper, we take a different perspective and assume that programming takes place only at the specification level, by using a type language that captures protocols of interaction. Specifications provide the global interaction scheme and lay the basis for an automatic (provably correct) generation of implementations. The latter is obtained by a translation into a rich formalism that relies on attribute-based communication, whose expressiveness permits modeling in a natural way the symmetric link between message recipient and emitter."^^ . "2015" . "9465" . . "Springer International Publishing"^^ . . "Springer International Publishing"^^ . . . . . . . . . . . . . . "Claudio Antares"^^ . "Mezzina"^^ . "Claudio Antares Mezzina"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Hugo"^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . . . . "HTML Summary of #3567 \n\nGlobal Protocol Implementations via Attribute-Based Communication\n\n" . "text/html" . . . "QA76 Computer software"@en . .