✦ LIBER ✦

A relational algebraic approach to protocol verification

✍ Scribed by Lee, T.T.; Lai, M.-Y.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic approach to the verificatio

✍ Rob Delicata; Steve Schneider 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 387 KB

An Algebraic Approach to Formal Verifica

✍ Kanji Hirabayashi 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 36 KB

A UTP approach towards probabilistic pro

✍ Riccardo Bresciani; Andrew Butterfield 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Knowledge structure approach to verifica

✍ Kaile Su; Guanfeng Lü; Qingliang Chen 📂 Article 📅 2005 🏛 Science in China Press (SCP) 🌐 English ⚖ 250 KB

To know or not to know: epistemic approa

✍ Francien Dechesne; Yanjing Wang 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 379 KB

A Relational Approach to Organization De

✍ Grandori, Anna; Soda, Giuseppe 📂 Article 📅 2006 🏛 Taylor and Francis Group 🌐 English ⚖ 323 KB