✦ LIBER ✦

CSP theorems for communicating B machines

✍ Scribed by Steve Schneider; Helen Treharne

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach for machine-assisted verific

✍ Thomas Göthel; Sabine Glesner 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 843 KB

Interactive tool support for CSP || B co

✍ Neil Evans; Helen Treharne 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 766 KB

Communication for alternating machines

✍ Anna Slobodová 📂 Article 📅 1992 🏛 Springer-Verlag 🌐 English ⚖ 921 KB

Communicating active components: An envi

✍ Luc Courtrai; Jean-François Roos; Jean-Marc Geib; Jean-François Mehaut 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 437 KB

Theorems on the time hierarchy for rando

✍ A. G. Ivanov 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 612 KB

Central limit theorems for the ergodic a

✍ Mordechay B. Levin; Ely Merzbach 📂 Article 📅 2003 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 903 KB