Theoretical Computer Science, Volume 308

Volume 308, Number 1-3, November 2003

• Jan J. M. M. Rutten:
  Behavioural differential equations: a coinductive calculus of streams, automata, and power series. 1-53
  Electronic Edition (link) BibTeX
• Yuxi Fu, Zhenrong Yang:
  Tau laws for pi calculus. 55-130
  Electronic Edition (link) BibTeX
• H. Peter Gumm, Jesse Hughes, Tobias Schröder:
  Distributivity of categories of coalgebras. 131-143
  Electronic Edition (link) BibTeX
• Walter Keller:
  Clustering for Petri nets. 145-197
  Electronic Edition (link) BibTeX
• Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni:
  Linearisability on datalog programs. 199-226
  Electronic Edition (link) BibTeX
• Karim Nour, Christophe Raffalli:
  Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic. 227-237
  Electronic Edition (link) BibTeX
• Olivier Danvy, Lasse R. Nielsen:
  A first-order one-pass CPS transformation. 239-257
  Electronic Edition (link) BibTeX
• Jean-Louis Krivine:
  Dependent choice, `quote' and the clock. 259-276
  Electronic Edition (link) BibTeX
• Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
  Model checking mobile ambients. 277-331
  Electronic Edition (link) BibTeX
• Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong:
  Adapting innocent game models for the Böhm treelambda -theory. 333-366
  Electronic Edition (link) BibTeX
• Yifeng Chen:
  A fixpoint theory for non-monotonic parallelism. 367-392
  Electronic Edition (link) BibTeX
• Paulo Mateus, M. Morais, C. Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas:
  Categorical foundations for randomly timed automata. 393-427
  Electronic Edition (link) BibTeX
• Yann Loyer, Nicolas Spyratos, Daniel Stamate:
  Parametrized semantics of logic programs--a unifying framework. 429-447
  Electronic Edition (link) BibTeX
• Uri Abraham:
  Self-stabilizing timestamps. 449-515
  Electronic Edition (link) BibTeX