✦ LIBER ✦

Unifying behavioral equivalences of timed transition systems

✍ Scribed by I. B. Virbitskaite; N. S. Gribovskaya

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inference of Timed Transition Systems

✍ Olga Grinchtein; Bengt Jonsson; Martin Leucker 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 262 KB

Studying equivalences of transition syst

✍ Pasquale Malacaria 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 801 KB

Bisimilarity of Distributionally Equival

✍ Ernst-Erich Doberkat 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 314 KB

Equivalence of linear time-invariant dyn

✍ B.D.O. Anderson; R.W. Newcomb; R.E. Kalman; D.C. Youla 📂 Article 📅 1966 🏛 Elsevier Science 🌐 English ⚖ 461 KB

Equivalent processing time analysis of g

✍ In-Kyung Park; Doo-Sung Lee; Jae-Do Nam 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 168 KB 👁 2 views

Equivalence of Convolution Systems in a

✍ S. J. L. Eijndhoven; L. C. G. J. M. Habets 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 270 KB