%B Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
%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.
%L eprints3567
%A Rocco De Nicola
%A Claudio Antares Mezzina
%A Hugo Torres Vieira
%I Springer International Publishing
%P 219-237
%T Global Protocol Implementations via Attribute-Based Communication
%O SCOPUS ID: 2-s2.0-84943596355; WOS Accession Number: WOS:000380766100015
%N 9465
%R 10.1007/978-3-319-25527-9_15
%S Lecture Notes in Computer Science
%D 2015