The leader election protocol of IEEE 1394 in Maude

Electronic Notes in Theoretical Computer Science

Volumn 36, Issue , 2000, Pages 383-404

  Verdejo, Alberto ^a   Pita, Isabel ^a   Martí Oliet, Narciso ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA TRANSFER; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MULTIMEDIA SYSTEMS; SPECIFICATIONS;

LOGIC COMPUTATION; MULTIMEDIA BUSES; OPEN SYSTEM INTERCONNECTION (OSI); SYMBOLIC EXPRESSION;

NETWORK PROTOCOLS;

EID: 0009929066     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80133-1     Document Type: Conference Paper

References (17)

1. R. Bruni, J. Meseguer, and U. Montanari. Internal strategies in a rewriting implementation of tile systems. In C. Kirchner and H. Kirchner, editors, Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, Pont-à-Mousson, Nancy, France, volume 15 of Electronic Notes in Theoretical Computer Science, Elsevier, 1998. http://www.elsevier.nl/locate/ entcs/volumel5.html.
2. M. Clavel. Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language, PhD thesis, Universidad de Navarra, 1998.
3. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., Quesada J. Maude: Specification and Programming in Rewriting Logic. SRI International. Jan. 1999;., revised Aug. 1999. http://maude.csl.sri.com.
4. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., Quesada J. A Maude Tutorial. SRI International. Mar. 2000;. http://maude.csl.sri.com
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Using Maude. In T. Maibaum, editor, Proc. Third Int. Conf. Fundamental Approaches to Software Engineering, FASE 2000, Berlin, Germany, March/April 2000, LNCS 1783, pages 371-374. Springer, 2000.
6. G. Denker, J. Meseguer, and C. Talcott. Protocol specification and analysis in Maude. In N. Heintze and J. Wing, editors, Proc. of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. http://www.cs.bell-labs.com/who/nch/fmsp/index.html.
7. G. Denker, J. Meseguer, and C. Talcott. Formal specification and analysis of active networks and communication protocols: The Maude experience. In Proc. DARPA Information Survivability Conference and Exposition DICEX 2000, Vol. 1, Hilton Head, South Carolina, January 2000, pages 251-265. IEEE, 2000.
8. Devillers M., Grifnoen W., Romijn J., Vaandrager F. Verification of a leader election protocol - formal methods applied to IEEE 1394. Technical Report CSI-R9728, Computing Science Institute. 1997;University of Nijmegen
9. Institute of Electrical and Electronics Engineers. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, Aug. 1995.
10. Maharaj S., Shankland C. A survey of formal methods applied to IEEE 1394. Proc. of the Joint Workshop on Formal Specification of Computer Based Systems, Edinburgh April 2000. 2000
11. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science. 96:1992;73-155
12. J. Meseguer. Research directions in rewriting logic. In U. Berger and H. Schwichtenberg, editors, Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29 - August 6, 1997, NATO ASI Series F: Computer and Systems Sciences 165, pages 347-398. Springer, 1998.
13. Ölveczky P. Specifying and analyzing the AER/NCA active networks protocols in Maude. 2000;. http://www.csl.sri.com/~peter/AER/AER.html
14. P. Ölveczky and J. Meseguer. Specifying real-time systems in rewriting logic. In J. Meseguer, editor, Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Asilomar, California, U.S.A, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65-89. Elsevier, Sept. 1996. http://www.elsevier.nl/locate/entcs/volume4.html.
15. Ölveczky P., Meseguer J. Specification of real-time and hybrid systems in rewriting logic. Manuscript, submitted for publication, SRI International. 1999
16. Shankland C., van der Zwaag M. The Tree Identify Protocol of IEEE 1394 in //CRL. Formal Aspects of Computing. 10:1998;509-531
17. Shankland C., Verdejo A. Time, E-LOTOS, and the FireWire. Formal Methods and Telecommunications (FM&T'99). Sept. 1999;103-119 Prensas Universitarias de Zaragoza