258 search results - page 6 / 52 » Weak Bisimulation Approximants |
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
66
Voted
ICALP
1998
Springer
15 years 1 months ago
1998
Springer
CAV
1997
Springer
15 years 1 months ago
1997
Springer
LOGCOM
2010
14 years 8 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...