We give an axiomatic category theoretic account of bisimulation in process algebras beased 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 compositio are modelled using functors in the Kleisli cataegory for the 2-monad T.We may define the notion of open map for any such 2-notion of funcitonal bisimulation.Under a condition on T,namely that it be a dense KZ-monad,which we defien,it follows tha tfunctors in Kl(T) preserve open maps,i.e.,they resect functional bisimulation.
展开▼
