|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A modular approach to defining and characterising notions of simulation |
Cîrstea, Corina |
2006 |
204 | 4 |
p. 469-502 34 p. |
article |
|
| 2 | Automata and fixed point logic: A coalgebraic perspective |
Venema, Yde |
2006 |
204 | 4 |
p. 637-678 42 p. |
article |
|
| 3 | Bisimulation and cocongruence for probabilistic systems |
Danos, Vincent |
2006 |
204 | 4 |
p. 503-523 21 p. |
article |
|
| 4 | Coalgebraic semantics for timed processes |
Kick, Marco |
2006 |
204 | 4 |
p. 588-609 22 p. |
article |
|
| 5 | Comparing operational models of name-passing process calculi |
Fiore, Marcelo |
2006 |
204 | 4 |
p. 524-560 37 p. |
article |
|
| 6 | Distributive laws for the coinductive solution of recursive equations |
Jacobs, Bart |
2006 |
204 | 4 |
p. 561-587 27 p. |
article |
|
| 7 | Editorial Board |
2006 |
204 | 4 |
p. i- 1 p. |
article |
||
| 8 | Editorial Board |
2006 |
204 | 4 |
p. CO2- 1 p. |
article |
||
| 9 | Final coalgebras for functors on measurable spaces |
Moss, Lawrence S. |
2006 |
204 | 4 |
p. 610-636 27 p. |
article |
|
| 10 | Recursive coalgebras from comonads |
Capretta, Venanzio |
2006 |
204 | 4 |
p. 437-468 32 p. |
article |
|
| 11 | Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004 |
Adámek, Jiří |
2006 |
204 | 4 |
p. 435-436 2 p. |
article |
11 results found