Vier formale Modelle der IEEE 1394 Link-Schicht werden präsentiert und diskutiert, die in den Sprachen µCRL, mCRL2, LOTOS und LNT geschrieben sind.