✦ LIBER ✦

Trace, failure and testing equivalences for communicating processes

✍ Scribed by Michael G. Main

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Trace and Testing Equivalence on Asynchr

✍ Michele Boreale; Rocco De Nicola; Rosario Pugliese 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 205 KB

Deciding bisimulation and trace equivale

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

Strong Fairness and Full Abstraction for

✍ Susan Older 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 296 KB

A singleton failures semantics for Commu

✍ Christie Bolton; Jim Davies 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 235 KB

Efficient Tests for Equivalence of Hidde

✍ Faigle, U.; Schönhuth, A. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 199 KB

Methods for Equivalence and Noninferiori

✍ Gisela Tunes da Silva; Brent R. Logan; John P. Klein 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 250 KB