✦ LIBER ✦

Weak bisimulation is sound and complete for

✍ Scribed by Josée Desharnais; Vineet Gupta; Radha Jagadeesan; Prakash Panangaden

Book ID: 113641892
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 272 KB
Volume: 208
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.11.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complete inference systems for weak bisi

Complete inference systems for weak bisimulation equivalences in the π-calculus

✍ Huimin Lin 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Sound and complete qualitative simulatio

Sound and complete qualitative simulation is impossible

✍ A.C.Cem Say; H.Levent Akın 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 217 KB

State-of-the-art qualitative simulators (for instance, QSIM) are known to be sound; no trajectory which is the solution of a concrete equation matching the input can be missing from the output. A simulator which is seen to be incomplete, that is, which produces a spurious prediction for a particular

Sound and complete rules for data reific

Sound and complete rules for data reification

✍ Jian Lü 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 404 KB

Deciding and axiomatizing weak ST bisimu

Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement

✍ Bravetti, Mario; Gorrieri, Roberto 📂 Article 📅 2002 🏛 Association for Computing Machinery 🌐 English ⚖ 524 KB

A sound and complete algorithm for distr

A sound and complete algorithm for distributed commerce transactions

✍ Steven P. Ketchpel; Hector Garcia-Molina 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 128 KB

Sound and Complete Axiomatization of Tra

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems

✍ Alexandra Silva; Ana Sokolova 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 437 KB