✦ LIBER ✦

Synthesis of Communicating Finite-State Machines with Guaranteed Progress

✍ Scribed by Gouda, M.; Yao-Tin Yu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the progress of communication between

✍ M.G. Gouda; E.G. Manning; Y.T. Yu 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 777 KB

On conditions for defining a closed cove

✍ Chung, A.; Sidhu, D.P. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 456 KB

Unboundedness detection for a class of c

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

Testing from semi-independent communicat

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

Cascade synthesis of finite-state machin

✍ H.P. Zeiger 📂 Article 📅 1967 🏛 Elsevier Science ⚖ 627 KB

Finite state machine synthesis with embe

✍ Vishwani D. Agrawal; Kwang-Ting Cheng 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 700 KB