✦ LIBER ✦

Lossy Communicating Finite State Machines

✍ Scribed by Wuxu Peng; Kia Makki

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synthesis of Communicating Finite-State

✍ Gouda, M.; Yao-Tin Yu 📂 Article 📅 1984 🏛 IEEE 🌐 English ⚖ 992 KB

Unboundedness detection for a class of c

✍ Yao-Tin Yu; Mohamed G. Gouda 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 476 KB

Deadlock detection in communicating fini

✍ Wuxu Peng 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 448 KB

Testing from semi-independent communicat

✍ Hierons, R.M. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 529 KB

OnTL-finite state machines

✍ Kim, Jae-Gyeom ;Cho, Sung-Jin ;Kim, Seok-Tae 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 376 KB

Reverse reachability analysis: A new tec

✍ Yung-Chen Hung; Gen-Huey Chen 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 792 KB