✦ LIBER ✦

Deciding orthogonal bisimulation

✍ Scribed by Thuy Duong Vu

Book ID: 105844942
Publisher: Springer
Year: 2007
Tongue: English
Weight: 245 KB
Volume: 19
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-007-0023-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bisimulation Trees and the Decidability

Bisimulation Trees and the Decidability of Weak Bisimulations

✍ Yoram Hirshfeld 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 592 KB

Branching time and orthogonal bisimulati

Branching time and orthogonal bisimulation equivalence

✍ Jan A. Bergstra; Alban Ponse; Mark B. van der Zwaag 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 609 KB

We propose a reÿnement of branching bisimulation equivalence that we call orthogonal bisimulation equivalence. Typically, internal activity (the performance of -steps) may be compressed, but not completely discarded. Hence, a process with -steps cannot be equivalent to one without -steps. Also, we p

Branching bisimulation for probabilistic

Branching bisimulation for probabilistic systems: Characteristics and decidability

✍ Suzana Andova; Tim A.C. Willemse 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Bisimulation Equivalence Is Decidable fo

Bisimulation Equivalence Is Decidable for All Context-Free Processes

✍ S. Christensen; H. Huttel; C. Stirling 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 480 KB

Deciding bisimulation and trace equivale

Deciding bisimulation and trace equivalences for systems with many identical processes

✍ Hsu-Chun Yen; Shi-Tsuen Jian; Ta-Pang Lao 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 805 KB

Decidability of Branching Bisimulation o

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

✍ Czerwiński, Wojciech; Hofman, Piotr; Lasota, Sławomir 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 977 KB