✦ LIBER ✦

Trace and Testing Equivalence on Asynchronous Processes

✍ Scribed by Michele Boreale; Rocco De Nicola; Rosario Pugliese

Book ID: 112252666
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 205 KB
Volume: 172
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2001.3080

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Trace, failure and testing equivalences

Trace, failure and testing equivalences for communicating processes

✍ Michael G. Main 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 795 KB

On the Existence of Minimum Asynchronous

On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages

✍ D. Bruschi; G. Pighizzini; N. Sabadini 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 868 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

On the equivalence between Gibbs and Mar

On the equivalence between Gibbs and Markov processes

✍ A. Tesei 📂 Article 📅 1973 🏛 Società Italiana di Fisica ⚖ 115 KB

On harmonic functions for trace processe

On harmonic functions for trace processes

✍ Panki Kim; Renming Song; Zoran Vondraček 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB

## Abstract Let __X__ be a standard Markov process with state space __E__ and let __F__ be a closed subset of __E__. A nonnegative function __f__ on __F__ is extended probabilistically to a function __h~f~__ on the whole space __E__. We show that the extension __h~f~__ is harmonic with respect to _

On the equivalence between classical Mar

On the equivalence between classical Markov processes and quantum mechanics

✍ B. H. Lavenda 📂 Article 📅 1980 🏛 Società Italiana di Fisica ⚖ 196 KB