290 search results - page 36 / 58 » Congruence for Structural Congruences |
74
Voted
APAL
2008
14 years 9 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
COGSCI
2006
14 years 9 months ago
2006
When participants are asked to make sensibility judgments on sentences that describe action toward the body (i.e., "Mark dealt the cards to you") or away from the body (...
ENTCS
2006
14 years 9 months ago
2006
The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besid...
JCT
2006
14 years 9 months ago
2006
A review is given of several aspects of the work of Basil Gordon. These include: Rogers-Ramanujan identities, plane partitions, the method of weighted words, modular forms and part...
ENTCS
2007
14 years 9 months ago
2007
In this notes we consider the model of Generative Probabilistic Transition Systems, and Baier and Hermanns’ notion of weak bisimulation defined over them. We prove that, if we ...