✦ LIBER ✦

Correctness proofs of CSP programs

✍ Scribed by N. Soundararajan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Estimating the correctness of computer p

✍ Joe W. Duran; John J. Wiorkowski 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 860 KB

Correctness verification of real-time pr

✍ T Szmuc 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 754 KB

Correctness proofs of syntax-directed pr

✍ C. Pair; M. Amirchahy; D. Neel 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 871 KB

Completeness Proofs for Some Logics of P

✍ Bogdan S. Chlebus 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 712 KB

Proof method of partial correctness and

✍ Gérard Ferrand; Pierre Deransart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 951 KB

Models of sets of sequences and the proo

✍ S.A. Abramov 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 377 KB