Bibliography

1. W.H.J. Feijen and A.J.M. van Gasteren.
   On a method of multiprogramming.
   Springer-Verlag, 1999.

2. N. Goga and J.M.T. Romijn.
   Guiding Spin simulation.
   Technical report, 2004.
   Manuscript. Available on http://www.win.tue.nl/oas/index.html?iqps/index.html.

3. The Institute of Electrical And Electronics Engineers, Inc.
   IEEE Standard for a High Performance Serial Bus, August 1996.
   IEEE Std 1394-1995.

4. The Institute of Electrical And Electronics Engineers, Inc.
   IEEE Standard for a High Performance Serial Bus - Amendment 1, December 2001.
   IEEE Std 1394a-2000.

5. The Institute of Electrical And Electronics Engineers, Inc.
   IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges, November 2003.
   Version 1.05.

6. I.A. van Langevelde, J.M.T Romijn, and N. Goga.
   Founding firewire bridges through promela prototyping.
   In 17th International Parallel and Distributed Processing Symposium (IPDPS), 8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA). IEEE Computer Society Press, 2003.

7. A.J. Mooij, N. Goga, and J.W. Wesselink.
   A distributed spanning tree algorithm for topology-aware networks.
   In Proceedings of the Conference on Design, Analysis, and Simulation of Distributed Systems 2004. The Society for Modeling & Simulation International (SCS), 2004.
   To appear.

8. A.J. Mooij and J.W. Wesselink.
   A formal analysis of a dynamic distributed spanning tree algorithm.
   Computer Science Report 03-16, Technische Universiteit Eindhoven, Eindhoven, December 2003.

9. R. Perlman.
   An algorithm for distributed computation of a spanning tree in an extended LAN.
   ACM SIGCOMM Computer Communication Review, 15(4), September 1985.

10. R. Perlman.
    Interconnections: bridges, routers, switches, and internetworking protocols.
    Addison-Wesley, 2000.