@incollection{eprints3567,
           pages = {219--237},
          author = {Rocco De Nicola and Claudio Antares Mezzina and Hugo Torres Vieira},
          series = {Lecture Notes in Computer Science},
            note = {SCOPUS ID: 2-s2.0-84943596355; WOS Accession Number: WOS:000380766100015},
          number = {9465},
            year = {2015},
       publisher = {Springer International Publishing},
           title = {Global Protocol Implementations via Attribute-Based Communication},
       booktitle = {Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
             url = {http://eprints.imtlucca.it/3567/},
        abstract = {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.}
}