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.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/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 |
