TY  - CHAP
N2  - 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.
ID  - eprints3567
SP  - 219
T3  - Lecture Notes in Computer Science
SN  - 978-3-319-25527-9
AV  - none
N1  - SCOPUS ID: 2-s2.0-84943596355; WOS Accession Number: WOS:000380766100015
EP  - 237
UR  - http://dx.doi.org/10.1007/978-3-319-25527-9_15
A1  - De Nicola, Rocco
A1  - Mezzina, Claudio Antares
A1  - Torres Vieira, Hugo
PB  - Springer International Publishing
T2  - Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
TI  - Global Protocol Implementations via Attribute-Based Communication
Y1  - 2015///
ER  -