×

Found 6 Documents (Results 1–6)

On the total variation distance of semi-Markov chains. (English) Zbl 1459.68116

Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 185-199 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

A metrized duality theorem for Markov processes. (English) Zbl 1337.68186

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 211-227, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

Bisimulation on Markov processes over arbitrary measurable spaces. (English) Zbl 1407.68327

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 76-95 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Modular Markovian logic. (English) Zbl 1333.68200

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 380-391 (2011).
MSC:  68Q87 03B70 60J25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field