Logo eprints

Global Protocol Implementations via Attribute-Based Communication

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-319-25527-9_15
Additional Information: SCOPUS ID: 2-s2.0-84943596355; WOS Accession Number: WOS:000380766100015
Subjects: Q Science > QA Mathematics > QA76 Computer software
Research Area: Computer Science and Applications
Depositing User: Caterina Tangheroni
Date Deposited: 06 Oct 2016 10:00
Last Modified: 06 Oct 2016 10:00
URI: http://eprints.imtlucca.it/id/eprint/3567

Actions (login required)

Edit Item Edit Item