Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol-Reference-Cited by-同舟云学术

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Published:2009-06 Issue:3 Volume:238 Page:249-266
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Riesco Adrián,Verdejo Alberto

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference23 articles.

1. R. Albrightson, J.J. Garcia-Luna-Aceves, and J. Boyle. EIGRP – a fast routing protocol based on distance vectors. In Proceedings of Networld/Interop 94, 1994

2. Model Checking;Clarke,1999

3. All About Maude: A High-Performance Logical Framework;Clavel,2007

4. Formal specification and analysis of active networks and communication protocols: The Maude experience;Denker,2000

5. A distributed implementation of Mobile Maude;Durán;Electronic Notes in Theoretical Computer Science,2007

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems;Science of Computer Programming;2024-07

2. Semantics, distributed implementation, and formal analysis of KLAIM models in Maude;Science of Computer Programming;2015-03

3. Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories;Science of Computer Programming;2015-03

4. Specifying and Analyzing the Kademlia Protocol in Maude;Theoretical Aspects of Computing - ICTAC 2015;2015

5. Real-Time Maude and Its Applications;Rewriting Logic and Its Applications;2014