
Journals in DBLP
Inf. Comput. 2006, volume: 204, number: 4
 Jirí Adámek, Stefan Milius
Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:435436 [Journal]
 Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Recursive coalgebras from comonads. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:437468 [Journal]
 Corina Cîrstea
A modular approach to defining and characterising notions of simulation. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:469502 [Journal]
 Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden
Bisimulation and cocongruence for probabilistic systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:503523 [Journal]
 Marcelo P. Fiore, Sam Staton
Comparing operational models of namepassing process calculi. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:524560 [Journal]
 Bart Jacobs
Distributive laws for the coinductive solution of recursive equations. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:561587 [Journal]
 Marco Kick, John Power, Alex Simpson
Coalgebraic semantics for timed processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:588609 [Journal]
 Lawrence S. Moss, Ignacio D. Viglizzo
Final coalgebras for functors on measurable spaces. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:610636 [Journal]
 Yde Venema
Automata and fixed point logic: A coalgebraic perspective. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:637678 [Journal]
