relation: http://eprints.imtlucca.it/3567/
title: Global Protocol Implementations via Attribute-Based Communication
creator: De Nicola, Rocco
creator: Mezzina, Claudio Antares
creator: Torres Vieira, Hugo
subject: QA76 Computer software
description: 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.
publisher: Springer International Publishing
date: 2015
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Mezzina, Claudio Antares and Torres Vieira, Hugo  Global Protocol Implementations via Attribute-Based Communication.   In:  Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday.   Lecture Notes in Computer Science  (9465).  Springer International Publishing, pp. 219-237.  ISBN 978-3-319-25527-9      (2015)  
relation: http://dx.doi.org/10.1007/978-3-319-25527-9_15
relation: 10.1007/978-3-319-25527-9_15