✦ LIBER ✦

Branching bisimulation congruence for probabilistic systems

✍ Scribed by Suzana Andova; Sonja Georgievska; Nikola Trčka

Book ID: 113927496
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 356 KB
Volume: 413
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.07.020

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Rooted Branching Bisimulation as a Congr

Rooted Branching Bisimulation as a Congruence

✍ Wan Fokkink 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 246 KB

This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote's ntyft format. It extends an earlier format by Bloom with standard notions such as recursion, iteration, predicates, an

Bisimulation and cocongruence for probab

Bisimulation and cocongruence for probabilistic systems

✍ Vincent Danos; Josée Desharnais; François Laviolette; Prakash Panangaden 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 315 KB

Probabilistic bisimulations for quantum

Probabilistic bisimulations for quantum processes

✍ Yuan Feng; Runyao Duan; Zhengfeng Ji; Mingsheng Ying 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 478 KB

Probabilistic bisimulations for quantum

Probabilistic bisimulations for quantum processes

✍ Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 462 KB

On cool congruence formats for weak bisi

On cool congruence formats for weak bisimulations

✍ R.J. van Glabbeek 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 387 KB