Editorial

This issue of Formal Aspects of Computing contains nine papers, all related to the formal specification and the analysis of the ‘Tree Identify’ protocol of the IEEE 1394 High Performance Serial Bus.

In March 2001 a workshop on this topic was held in association with the FME conference in Berlin. All but the first paper in this issue are derived from presentations given at that workshop. The mechanisms for invitations to submit papers for this issue and their subsequent refereeing etc. are detailed in the first paper which also introduces the task that was undertaken.