We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
We study different behavioral metrics, such as those arising from bothbranching and linear-time semantics, in a coalgebraic setting. Given acoalgebra α:X→HX for a functor H:Set→Set, we define a framework for deriving pseudometrics on X whichmeasure the behavioral distance of states. A crucial step is the lifting of the functor H on Set to afunctor H on the category PMet of pseudometric spaces.We present two different approaches which can be viewed as generalizations ofthe Kantorovich and Wasserstein pseudometrics for probability measures. We showthat the pseudometrics provided by the two approaches coincide on severalnatural examples, but in general they differ. If H has a final coalgebra, every lifting H yields in acanonical way a behavioral distance which is usually branching-time, i.e., itgeneralizes bisimilarity. In order to model linear-time metrics (generalizingtrace equivalences), we show sufficient conditions for lifting distributivelaws and monads. These results enable us to employ the generalized powersetconstruction
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.