✦ LIBER ✦

A Process Algebra for Reasoning About Quantum Security

✍ Scribed by P. Adão; P. Mateus

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Process algebra approach to reasoning ab

✍ Yuan Feng; Ming-Sheng Ying 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 879 KB

A Kleene Algebra of Tagged System Actors

✍ Dey, Soumyajit; Sarkar, Dipankar; Basu, Anupam 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 673 KB

A Reason for Studying Algebra

✍ Review by: H. E. Benz 📂 Article 📅 1937 🏛 The University of Chicago Press ⚖ 103 KB

A logic for reasoning about ambiguity

✍ Halpern, Joseph Y.; Kets, Willemien 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 272 KB

Classification of security properties in

✍ Alessandro Aldini 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 635 KB

A new method for reasoning about action

✍ Jie Yang 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 343 KB