A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Increasing the Efficiency of Computer-aided Protocol Implementations
[chapter]
1995
IFIP Advances in Information and Communication Technology
The paper discusses ways for increasing the efficiency of protocol implementations which are automatically derived from formal descriptions. The subject of our discussion is the implementation model used in the implementation tool for the transformation process. The implementation model defines the architecture of the final implementation and has a crucial influence on its efficiency. Using an experimental Estelle-C compiler we discuss the impact of design decisions for the implementation model
doi:10.1007/978-0-387-34867-4_29
fatcat:tvxaluwe4jchtlpe4evvopanri