✦ LIBER ✦

On automatic verification of self-stabilizing population protocols

✍ Scribed by Pang, Jun ;Luo, Zhengqin ;Deng, Yuxin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A self-stabilizing transformer for popul

✍ Joffroy Beauquier; Janna Burman; Shay Kutten 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 296 KB

Studies on algorithms for self-stabilizi

✍ Layuan Li; Chunlin Li 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 674 KB

SeVe: automatic tool for verification of

✍ Anh Tuan Luu; Jun Sun; Yang Liu; Jin Song Dong; Xiaohong Li; Thanh Tho Quan 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 527 KB

On space complexity of self-stabilizing

✍ Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 552 KB

Automatic Verification of a Lip-Synchron

✍ H. Bowman; G. Faconti; J.-P. Katoen; D. Latella; M. Massink 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 184 KB

Automatic Verification of the IEEE-1394

✍ Conrado Daws; Marta Kwiatkowska; Gethin Norman 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 234 KB