✦ LIBER ✦

On the progress of communication between two finite state machines

✍ Scribed by M.G. Gouda; E.G. Manning; Y.T. Yu

Book ID: 114037686
Publisher: Elsevier Science
Year: 1984
Weight: 777 KB
Volume: 63
Category: Article
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(84)80014-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synthesis of Communicating Finite-State

Synthesis of Communicating Finite-State Machines with Guaranteed Progress

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

On conditions for defining a closed cove

On conditions for defining a closed cover to verify progress for communicating finite state machines

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

On the existence of hybrid models for fi

On the existence of hybrid models for finite state machines

✍ Ekaterina S. Lemch; Peter E. Caines 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 133 KB

Within the framework of the hierarchical hybrid control theory presented in (Caines and Wei, IEEE Trans. Automat. Control 43 (4) (1988) 501-508), one may pose the following hybrid modelling problem: for a given ÿnite state machine M , ÿnd a state space D, a state space partition , and a controlled O

On the Equivalence of Finite-State Seque

On the Equivalence of Finite-State Sequential Machine Models

✍ Ibarra, Oscar H. 📂 Article 📅 1967 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 555 KB

On the synthesis of adaptive tests for n

On the synthesis of adaptive tests for nondeterministic finite state machines

✍ M. L. Gromov; N. V. Evtushenko; A. V. Kolomeets 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 197 KB

Lower bound study on interconnect comple

Lower bound study on interconnect complexity of the decomposed finite state machines

✍ Yang, W.-L.; Owens, R.M.; Irwin, M.J. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 363 KB