Volume 204; Issue 4

Information and Computation

Volume 204; Issue 4
2

Distributive laws for the coinductive solution of recursive equations

Bart Jacobs
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 288 KB
english, 2006
3

A modular approach to defining and characterising notions of simulation

Corina Cîrstea
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 332 KB
english, 2006
4

Final coalgebras for functors on measurable spaces

Lawrence S. Moss, Ignacio D. Viglizzo
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 407 KB
english, 2006
5

Automata and fixed point logic: A coalgebraic perspective

Yde Venema
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 433 KB
english, 2006
6

Comparing operational models of name-passing process calculi

Marcelo Fiore, Sam Staton
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 737 KB
english, 2006
7

Recursive coalgebras from comonads

Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 408 KB
english, 2006
8

Coalgebraic semantics for timed processes

Marco Kick, John Power, Alex Simpson
Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 204 KB
english, 2006
10

Editorial Board

Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 216 KB
english, 2006
11

Editorial Board

Journal:
Information and Computation
Year:
2006
Language:
english
File:
PDF, 114 KB
english, 2006