2 search results - page 1 / 1 » Multiset Bisimulations as a Common Framework for Ordinary an... |
FORTE
2008
13 years 5 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
VMCAI
2012
Springer
11 years 12 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...