Mason, Ian A.; Talcott, Carolyn L. Simple network protocol simulation within Maude. (English) Zbl 0966.68514 Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 18 p., electronic only (2000). For the entire collection see [Zbl 0957.00046]. Cited in 3 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Software:SPIN; Maude; PVS PDFBibTeX XMLCite \textit{I. A. Mason} and \textit{C. L. Talcott}, in: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000. Amsterdam: Elsevier. 18 p. (2000; Zbl 0966.68514)