258 search results - page 6 / 52 » Weak Bisimulation Approximants |
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
ICALP
1998
Springer
15 years 3 months ago
1998
Springer
CAV
1997
Springer
15 years 3 months ago
1997
Springer
LOGCOM
2010
14 years 10 months ago
2010
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...