Paper Info
Title
Global Protocol Implementations via Attribute-Based Communication.
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.
Year
DOI
Venue
2015
10.1007/978-3-319-25527-9_15
Programming Languages with Applications to Biology and Security
DocType
Volume
ISSN
Conference
9465
0302-9743
Citations 
PageRank 
References 
0
0.34
12
Authors
3
Name
Order
Citations
PageRank
rocco de nicola12883251.96
Claudio Antares Mezzina214516.93
Hugo Torres Vieira313411.17