831 search results - page 6 / 167 » Coalgebraic Correspondence Theory |
CONCUR
1998
Springer
13 years 11 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
ENTCS
2010
13 years 6 months ago
2010
ENTCS
2008
13 years 6 months ago
2008
LOGCOM
2010
13 years 5 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
ENTCS
2006
13 years 6 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...