DMCA
Coalgebraic Bisimulation-Up-To (2013)
Cached
Download Links
by
Jurriaan Rot , Marcello Bonsangue , Jan Rutten
| Citations: | 17 - 7 self |
BibTeX
@MISC{Rot13coalgebraicbisimulation-up-to,
author = {Jurriaan Rot and Marcello Bonsangue and Jan Rutten},
title = {Coalgebraic Bisimulation-Up-To },
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Bisimulation-up-to enhances the bisimulation proof method for process equivalence. We present its generalization from labelled transition systems to arbitrary coalgebras, and show that for a large class of systems, enhancements such as bisimulation up to bisimilarity, up to equivalence and up to context are sound proof techniques. This allows for simplified bisimulation proofs for many different types of state-based systems.
