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

Keimel, K., Rosenbusch, A., & Streicher, T. (2008). A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. Annals of Pure and Applied Logic, 159(3), 307–317. https://doi.org/10.1016/j.apal.2008.06.020

Keimel, Klaus, et al. “A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.” Annals of Pure and Applied Logic, vol. 159, no. 3, 2008, pp. 307–17, https://doi.org/10.1016/j.apal.2008.06.020.

Keimel, Klaus, A. Rosenbusch, and Thomas Streicher. 2008. “A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.” Annals of Pure and Applied Logic 159 (3): 307–17. https://doi.org/10.1016/j.apal.2008.06.020.

Keimel, K., Rosenbusch, A. and Streicher, T. (2008) ‘A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language’, Annals of Pure and Applied Logic, 159(3), pp. 307–317. Available at: https://doi.org/10.1016/j.apal.2008.06.020.

@article{keimel2008minkowski,
  title = {{A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language}},
  author = {Keimel, Klaus and Rosenbusch, A. and Streicher, Thomas},
  journal = {Annals of Pure and Applied Logic},
  volume = {159},
  number = {3},
  pages = {307--317},
  year = {2008},
  doi = {10.1016/j.apal.2008.06.020}
}