✦ LIBER ✦

The Tree Identify Protocol of IEEE 1394 in μCRL

✍ Scribed by Carron Shankland; Mark van der Zwaag

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

IEEE 1394 Tree Identify Protocol: Introd

✍ He Jifeng; Xu Qiwen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 171 KB

Verifying the IEEE 1394 FireWire Tree Id

✍ Viktor Schuppan; Armin Biere 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 142 KB

Specification and Verification of the Tr

✍ Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 168 KB

A Mechanically Proved and Incremental De

✍ Jean-Raymond Abrial; Dominique Cansell; Dominique Méry 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 126 KB

False Loop Detection in the IEEE 1394 Tr

✍ Judi Romijn 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 289 KB

The Leader Election Protocol of IEEE 139

✍ Alberto Verdejo; Isabel Pita; Narciso Martí-Oliet 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 198 KB