✦ LIBER ✦

A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations

✍ Scribed by Christine Röckl

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalised first-order confluence proo

✍ René Vestergaard; James Brotherston 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 464 KB

A probabilistic machine for the estimati

✍ S. C. van Westrhenen 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 360 KB

The design of an optimal first-order qua

✍ Cupo, R. 📂 Article 📅 1981 🏛 IEEE ⚖ 220 KB

A new method for forming first-order Bes

✍ Ryzhevich, A. A. 📂 Article 📅 2001 🏛 Optical Society of America 🌐 English ⚖ 62 KB

Use of the heaviside function as a subst

✍ Guillermo E. Hough; Italo H. Farina 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 555 KB

Catalytic processes using “large-pore” m

✍ Anabela Leitão; Alírio Rodrigues 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 503 KB