Tomi Westerlund, Juha Plosila. Formal Specification of a Protocol Processor. In Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis, editors, Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005, Proceedings. Volume 3553 of Lecture Notes in Computer Science, pages 122-131, Springer, 2005. [doi]
Abstract is missing.