13 search results - page 3 / 3 » Stochastic coalgebraic logic: Bisimilarity and behavioral eq... |
APAL
1999
13 years 5 months ago
1999
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
FSTTCS
2010
Springer
13 years 3 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...