A Categorical Axiomatics for Bisimulation Export

@inproceedings{citeulike:1456382, abstract = {We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on processes, such as nondeterministic sum, prefixing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T .}, author = {Cattani, Gian L. and Power, John and Winskel, Glynn}, booktitle = {International Conference on Concurrency Theory}, citeulike-article-id = {1456382}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6295}, keywords = {axiomatics, axiomatization, bisimulation, categorical}, pages = {581--596}, posted-at = {2007-07-14 13:43:49}, priority = {2}, title = {A Categorical Axiomatics for Bisimulation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6295}, year = {1998} }

TY - CONF ID - citeulike:1456382 L3 - citeulike-article-id:1456382 N2 - We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on processes, such as nondeterministic sum, prefixing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T . EP - 596 TI - A Categorical Axiomatics for Bisimulation T2 - International Conference on Concurrency Theory SP - 581 KW - axiomatics KW - axiomatization KW - bisimulation KW - categorical AU - Cattani, Gian AU - Power, John AU - Winskel, Glynn PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6295 ER -