|
|
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:435-436 [Journal]
- Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Recursive coalgebras from comonads. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2006, v:204, n:4, pp:437-468 [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:469-502 [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:503-523 [Journal]
- Marcelo P. Fiore, Sam Staton
Comparing operational models of name-passing process calculi. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2006, v:204, n:4, pp:524-560 [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:561-587 [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:588-609 [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:610-636 [Journal]
- Yde Venema
Automata and fixed point logic: A coalgebraic perspective. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2006, v:204, n:4, pp:637-678 [Journal]
|
