Time, E-LOTOS and the FireWire

Carron Shankland and Alberto Verdejo

In M. A. Marsan, J. Quemada, T. Robles, and M. Silva, editors, Formal Methods and Telecommunications (FM&T'99), pages 103-119. Prensas Universitarias de Zaragoza, Sept. 1999.

Abstract: The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.

[pdf]

@InProceedings{ShanklandVerdejo99,
  author =       {Carron Shankland and Alberto Verdejo},
  title =        {Time, {E-LOTOS}, and the {FireWire}},
  booktitle =    {Formal Methods and Telecommunications (FM\&T'99)},
  pages =        {103-119},
  year =         1999,
  month =        sep,
  editor =       {Marco Ajmone Marsan and Juan Quemada and Tom\'as Robles
                  and Manuel Silva},
  publisher =    {Prensas Universitarias de Zaragoza}
}