𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On harmonic functions for trace processe
✍ 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 _