Volume 308; Issue 1-3

Theoretical Computer Science

Volume 308; Issue 1-3
1

Distributivity of categories of coalgebras

H.Peter Gumm, Jesse Hughes, Tobias Schröder
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 384 KB
english, 2003
2

Clustering for Petri nets

Walter Keller
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 658 KB
english, 2003
3

Linearisability on datalog programs

Foto Afrati, Manolis Gergatsoulis, Francesca Toni
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 339 KB
english, 2003
5

A first-order one-pass CPS transformation

Olivier Danvy, Lasse R. Nielsen
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 497 KB
english, 2003
6

Dependent choice, ‘quote’ and the clock

Jean-Louis Krivine
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 302 KB
english, 2003
8

Adapting innocent game models for the Böhm tree λ-theory

Andrew D. Ker, Hanno Nickau, C.-H.Luke Ong
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 759 KB
english, 2003
9

A fixpoint theory for non-monotonic parallelism

Yifeng Chen
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 290 KB
english, 2003
10

Categorical foundations for randomly timed automata

P. Mateus, M. Morais, C. Nunes, A. Pacheco, A. Sernadas, C. Sernadas
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 498 KB
english, 2003
12

Parametrized semantics of logic programs—a unifying framework

Yann Loyer, Nicolas Spyratos, Daniel Stamate
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 288 KB
english, 2003
13

Self-stabilizing timestamps

Uri Abraham
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 697 KB
english, 2003
14

Tau laws for pi calculus

Yuxi Fu, Zhenrong Yang
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 1.32 MB
english, 2003
15

Editorial board v-x

Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 114 KB
english, 2003
16

Author index

Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 134 KB
english, 2003