Paper Info
Title
Simple Network Protocol Simulation within Maude
Abstract
The authors would like to thank the Maude group and especially José Meseguer for many fruitful discussions and Brad Smith for helping us understand the PIM-DM protocol and kindly providing his pseudo-code. We also thank the anonymous referees for their helpful suggestions for improvement. The first author was partially supported by ARC grant 8202 881 499, while the second author was partially supported by DARPA/NASA NAS2-98073. ARPA/SRI subcontract 17-000042, NSF CCR-9900326, and ONR N00012-99-C-0198.
Year
DOI
Venue
2000
10.1016/S1571-0661(05)80139-2
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
network protocol,communication protocol,network model
World Wide Web,Computer science,Communications protocol
Journal
Volume
ISSN
Citations 
36
Electronic Notes in Theoretical Computer Science
7
PageRank 
References 
Authors
0.61
7
2
Name
Order
Citations
PageRank
Ian A. Mason179797.47
Carolyn Talcott21922168.73