The Demonic Product of Probabilistic Relations (2001)

Cached

Download Links

by Ernst-erich Doberkat
Citations:4 - 2 self

Active Bibliography

Universität Dortmund – Prof Dr, Ernst-erich Doberkat, Fachbereich Informatik, Ernst-erich Doberkat, Ernst-erich Doberkat - 2004
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
Pipes and Filters: Modelling a Software Architecture Through Relations – Ernst-Erich Doberkat - 2002
Recursively Defined Metric Spaces without Contraction – Franck Van Breugel A, James Worrell D
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
316 Temporal Resolution of Uncertainty and Dynamic Choice Theory,”Econometrica – M. Kreps, Evan L. Porteus, M. Kreps, Evan, L. Porteus - 1978
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
Labelled Markov Processes as Generalised Stochastic Relations – Michael Mislove A, Dusko Pavlovic C, James Worrell B
275 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994