✦ LIBER ✦

Modeling Group Communication Protocols Using Multiset Term Rewriting

✍ Scribed by Grit Denker; Jon Millen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling of communication protocols by u

✍ M. Ilyas; H. Khalil 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 223 KB

Group Communication Using Modular Protoc

✍ S P Rana; M A Fisher; P F McKee 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 203 KB

Formal verification of secure group comm

✍ P. de Saqui-Sannes; T. Villemur; B. Fontan; S. Mota; M. S. Bouassida; N. Chridi; 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 647 KB

Modeling and verification of the SDL-spe

✍ V. A. Nepomniaschy; V. S. Argirov; D. M. Beloglazov; A. V. Bystrov; E. A. Chetve 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 213 KB

Model-Based Evaluation of Distributed In

✍ Jin-Hee Cho; Ing-Ray Chen 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 772 KB

Using Z to model and analyse safety and

✍ HP Haughton 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 483 KB