✦ LIBER ✦

Algebraic specification and proof of a distributed recovery algorithm

✍ Scribed by He Jifeng; C. A. R. Hoare

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computer checked algebraic verificatio

✍ Jan Friso Groote; François Monin; Jan Springintveld 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 217 KB

Comments on “on the proof of a distribut

✍ A.J.M. Van Gasteren; G. Tel 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 239 KB

A process algebraic framework for specif

✍ Adnan Sherif; Ana Cavalcanti; He Jifeng; Augusto Sampaio 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 492 KB

A logic for the specification and proof

✍ Susanne Graf; Joseph Sifakis 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 949 KB

A method for algebraic analysis of the T

✍ A. R. M. Witwit; A. J. Wilkinson; S. H. Pulko 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 409 KB 👁 1 views

A new proof of the existence of traces o

✍ Shavkat A Ajupov(Ayupov) 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 504 KB