%0 Book Section
%A De Nicola, Rocco
%A Mezzina, Claudio Antares
%A Torres Vieira, Hugo
%B Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
%D 2015
%F eprints:3567
%I Springer International Publishing
%N 9465
%P 219-237
%S Lecture Notes in Computer Science
%T Global Protocol Implementations via Attribute-Based Communication
%U http://eprints.imtlucca.it/3567/
%X 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.
%Z SCOPUS ID: 2-s2.0-84943596355; WOS Accession Number: WOS:000380766100015