Volume 327; Issue 1-2

Theoretical Computer Science

Volume 327; Issue 1-2
1

A compositional approach to defining logics for coalgebras

Corina Cîrstea
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 354 KB
english, 2004
2

Simulations in coalgebra

Jesse Hughes, Bart Jacobs
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 462 KB
english, 2004
3

Category theory for operational semantics

Marina Lenisa, John Power, Hiroshi Watanabe
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 259 KB
english, 2004
4

A coalgebraic view on positive modal logic

Alessandra Palmigiano
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 299 KB
english, 2004
5

Behavioral abstraction is hiding information

Grigore Roşu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 317 KB
english, 2004
6

Editorial board v-ix

Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 107 KB
english, 2004
7

Preface

H. Peter Gumm
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 116 KB
english, 2004
8

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 306 KB
english, 2004
9

A coalgebraic approach to Kleene algebra with tests

Hubie Chen, Riccardo Pucella
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 291 KB
english, 2004
10

Stone coalgebras

Clemens Kupke, Alexander Kurz, Yde Venema
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 342 KB
english, 2004
11

Substitution in non-wellfounded syntax with variable binding

Ralph Matthes, Tarmo Uustalu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 291 KB
english, 2004