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
.
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
[chapter]
2001
Lecture Notes in Computer Science
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast protocol components. Because of the time-sensitive and resource-sensitive behavior and the composability of its components, AER/NCA poses challenging new problems for its formal specification and analysis. Real-Time Maude is a natural extension of the Maude rewriting logic language and tool for the specification and
doi:10.1007/3-540-45314-8_24
fatcat:rvooi6minvehtkm65ir7omifcm