A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language

From MaRDI portal
Publication:1023294

DOI10.1016/J.APAL.2008.06.020zbMath1167.68034OpenAlexW2006166370MaRDI QIDQ1023294

A. Rosenbusch, Klaus Keimel, Thomas Streicher

Publication date: 11 June 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.06.020




Related Items (3)




Cites Work




This page was built for publication: A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language