✦ LIBER ✦

Communicating X-machines

✍ Scribed by J. Barnard; J. Whitworth; M. Woodward

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Transforming communicating X-machines in

✍ Petros Kefalas; Ioanna Stamatopoulou; Ilias Sakellariou; George Eleftherakis 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 464 KB

Simulation and verification of P systems

✍ P. Kefalas; G. Eleftherakis; M. Holcombe; M. Gheorghe 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 194 KB

CSP theorems for communicating B machine

✍ Steve Schneider; Helen Treharne 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 312 KB

Testing Conditions for Communicating Str

✍ Florentin Ipate; Mike Holcombe 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 182 KB

Testing (Stream) X-machines

✍ Florentin Ipate; Marian Gheorghe; Mike Holcombe 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 201 KB

What are X-Machines?

✍ Mike Holcombe 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 66 KB