Isomorphisms between predicate and state transformers Export

@incollection{Bonsangue93, abstract = {We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like predicate, liveness, safety and predicate transformers are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin power domains and consider continuous, monotonic and unrestricted functions. We relate the transformers by isomorphisms thereby extending and completing earlier results and giving a complete picture of all the relationships.}, author = {Bonsangue, Marcello and Kok, Joost N.}, booktitle = {Mathematical Foundations of Computer Science 1993}, citeulike-article-id = {5891215}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-57182-5_22}, citeulike-linkout-1 = {http://www.springerlink.com/content/f2321271153hh7mq}, doi = {10.1007/3-540-57182-5_22}, journal = {Mathematical Foundations of Computer Science 1993}, keywords = {1993, continuous, isomorphism, liveness, monotonic, predicate, predicate-transformer, safety, state-transformer, topology}, pages = {301--310}, posted-at = {2009-10-05 16:13:59}, priority = {2}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Isomorphisms between predicate and state transformers}, url = {http://dx.doi.org/10.1007/3-540-57182-5_22}, volume = {711}, year = {1993} }

TY - CHAP ID - Bonsangue93 L3 - citeulike-article-id:5891215 N2 - We study the relation between state transformers based on directed complete partial orders and predicate transformers. Concepts like predicate, liveness, safety and predicate transformers are formulated in a topological setting. We treat state transformers based on the Hoare, Smyth and Plotkin power domains and consider continuous, monotonic and unrestricted functions. We relate the transformers by isomorphisms thereby extending and completing earlier results and giving a complete picture of all the relationships. JF - Mathematical Foundations of Computer Science 1993 SE - Lecture Notes in Computer Science EP - 310 TI - Isomorphisms between predicate and state transformers PB - Springer Berlin / Heidelberg VL - 711 T2 - Mathematical Foundations of Computer Science 1993 SP - 301 KW - 1993 KW - continuous KW - isomorphism KW - liveness KW - monotonic KW - predicate KW - predicate-transformer KW - safety KW - state-transformer KW - topology AU - Bonsangue, Marcello AU - Kok, Joost PY - 1993/// UR - http://dx.doi.org/10.1007/3-540-57182-5_22 ER -