A. Rosenbusch

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Klaus Keimel, A. Rosenbusch, Thomas Streicher
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. Theor. Comput. Sci. 412 (25) (2011)
Klaus Keimel, A. Rosenbusch, Thomas Streicher
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. Ann. Pure Appl. Log. 159 (3) (2009)