|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A modular approach to defining and characterising notions of simulation |
Cîrstea, Corina |
2006 |
204 | 4 |
p. 469-502 34 p. |
artikel |
|
| 2 | Automata and fixed point logic: A coalgebraic perspective |
Venema, Yde |
2006 |
204 | 4 |
p. 637-678 42 p. |
artikel |
|
| 3 | Bisimulation and cocongruence for probabilistic systems |
Danos, Vincent |
2006 |
204 | 4 |
p. 503-523 21 p. |
artikel |
|
| 4 | Coalgebraic semantics for timed processes |
Kick, Marco |
2006 |
204 | 4 |
p. 588-609 22 p. |
artikel |
|
| 5 | Comparing operational models of name-passing process calculi |
Fiore, Marcelo |
2006 |
204 | 4 |
p. 524-560 37 p. |
artikel |
|
| 6 | Distributive laws for the coinductive solution of recursive equations |
Jacobs, Bart |
2006 |
204 | 4 |
p. 561-587 27 p. |
artikel |
|
| 7 | Editorial Board |
2006 |
204 | 4 |
p. i- 1 p. |
artikel |
||
| 8 | Editorial Board |
2006 |
204 | 4 |
p. CO2- 1 p. |
artikel |
||
| 9 | Final coalgebras for functors on measurable spaces |
Moss, Lawrence S. |
2006 |
204 | 4 |
p. 610-636 27 p. |
artikel |
|
| 10 | Recursive coalgebras from comonads |
Capretta, Venanzio |
2006 |
204 | 4 |
p. 437-468 32 p. |
artikel |
|
| 11 | Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004 |
Adámek, Jiří |
2006 |
204 | 4 |
p. 435-436 2 p. |
artikel |
11 gevonden resultaten