✦ LIBER ✦

A logic for the specification and proof of regular controllable processes of CCS

✍ Scribed by Susanne Graf; Joseph Sifakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A simple proof of the spectral excess th

✍ M.A. Fiol; S. Gago; E. Garriga 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 122 KB

A first order logic for specification of

✍ Danièle Beauquier; Anatol Slissenko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Birth delay of a Markov process and the

✍ E. B. Dynkin 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 564 KB

A simple proof of the regularity theorem

✍ Björn Gustafsson 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 255 KB

A Topological Proof of the Löwenheim-Sko

✍ Bas C. van Fraassen 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 556 KB

A short proof of the decidability of bis

✍ Jan Friso Groote 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 388 KB