1993
Isomorphisms between predicate and state transformers
Publication
Publication
Presented at the
International Symposium on Mathematical Foundations of Computer Science, Gdansk, Poland
Additional Metadata | |
---|---|
Springer | |
A.M. Borzyszkowski (Andrzej) , S. Sokolowski (Stefan) | |
Lecture Notes in Computer Science | |
International Symposium on Mathematical Foundations of Computer Science | |
Bonsangue, M., & Kok, J. (1993). Isomorphisms between predicate and state transformers. In A. Borzyszkowski & S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993 (pp. 301–310). Springer. |