The Demonic Product of Probabilistic Relations (2001)

Cached

Download Links

by Ernst-erich Doberkat
Citations:3 - 1 self

Documents Related by Co-Citation

4 The converse of a probabilistic relation – E-E Doberkat - 2003
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
7 Probabilistic Relations – Prakash Panangaden - 1998
41 A categorical approach to probability theory – M Giry - 1981
3219 Communication and Concurrency – R Milner - 1990
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
6 A formal specification of an oscilloscope – N Delisle, D Garlan - 1990
1 Compact set-valued flows I: Applications in medical imaging – J Demongeot, F Leitner - 1996
1 Good state transition policies for nondeterministic and stochastic automata – E-E Doberkat - 1980
1 Re-engineering the German integrated system for measuring and assessing environmental radioactivity. Environmental Modelling – E-E Doberkat, F Schmidt, C Veltmann - 2000
6 Classical Descriptive Set Theory. Number 156 – A Kechris - 1995
18 Set Theory for Computing – Domenico Cantone, Eugenio Omodeo, Alberto Policriti - 2001
2 Set-valued maps for image segmentation – T Lorenz - 2001
2 Practical foundations of mathematics, volume59ofCambridge – P Taylor - 1999
16 Components as Coalgebras – L Barbosa - 2001
112 Using Style to Understand Descriptions of Software Architecture – Gregory Abowd, Robert Allen, David Garlan - 1993
58 A Coinductive Calculus of Component Connectors – F. Arbab, J. J. M. M. Rutten - 2002
5 Semi-pullbacks and bisimulations in categories of stochastic relations – E-E Doberkat - 2003
95 Specification and Development of Interactive Systems – M Broy, K Stølen - 2001