✦ LIBER ✦

Approximating bisimulation in one-counter nets

✍ Scribed by V. A. Bashkin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulation equivalence and regularity

✍ Böhm, Stanislav; Göller, Stefan; Jančar, Petr 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 611 KB

Approximating the termination value of o

✍ Tomáš Brázdil; Václav Brožek; Kousha Etessami; Antonín Kučera 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Approximation on a radial-annular net

✍ S. G. Mikhlin 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 305 KB

Approximation Metrics Based on Probabili

✍ Abate, Alessandro 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 329 KB

An approximation result for nets in func

✍ Sebastian Döhler; Ludger Rüschendorf 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 110 KB

Deterministic approximation of marginal

✍ Santos, E., Jr.; Shimony, S.E. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 376 KB