✦ LIBER ✦

Description of protocols implemented in the SGB network

✍ Scribed by E. Gaudissart; S. de Hepcée; G. Melaet; V. Obozinski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A declarative implementation of the DICO

✍ Ira J. Kalet; Robert S. Giansiracusa; Jonathan Jacky; Drora Avitan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 486 KB

Automated derivation of protocols implem

✍ M. Pučko; M. Kapus-Kolar; G. Kandus 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 330 KB

Estimation of Implementation Losses in M

✍ Vinh V. Phan; Savo Glisic 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 448 KB

Evaluation of Well-Known Protocol Implem

✍ Peter Langendörfer; Rolf Kraemer; Hartmut König 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 116 KB

Formal description and verification of a

✍ Layuan Li 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 363 KB

The Design and Implementation of Unix-Ba

✍ Tatsuo Nakajima; Mario Tokoro 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 466 KB