Volume 309; Issue 1-3

Theoretical Computer Science

Volume 309; Issue 1-3
1

Realizability of high-level message sequence charts: closing the gaps

Markus Lohrey
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 430 KB
english, 2003
2

Order-incompleteness and finite lambda reduction models

Peter Selinger
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 351 KB
english, 2003
3

A format for semantic equivalence comparison

Vashti Galpin
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 493 KB
english, 2003
4

Better-quasi-orderings and coinduction

Thomas Forster
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 247 KB
english, 2003
5

Paracategories I: internal paracategories and saturated partial algebras

Claudio Hermida, Paulo Mateus
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 796 KB
english, 2003
6

Power simulation and its relation to traces and failures refinement

Paul Gardiner
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 253 KB
english, 2003
7

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

Dirk Pattinson
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 275 KB
english, 2003
8

Right-linear half-monadic term rewrite systems

Sándor Vágvölgyi
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 274 KB
english, 2003
9

MELL in the calculus of structures

Lutz Straßburger
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 591 KB
english, 2003
10

Normal conditions for inference relations and injective models

Zhaohui Zhu, Xi'an Xiao, Yong Zhou, Wujia Zhu
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 418 KB
english, 2003
11

Branching time and orthogonal bisimulation equivalence

Jan A. Bergstra, Alban Ponse, Mark B. van der Zwaag
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 609 KB
english, 2003
12

Structured theories and institutions

Francisco Durán, José Meseguer
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 598 KB
english, 2003
13

Two techniques in the area of the star problem in trace monoids

Daniel Kirsten, Jerzy Marcinkowski
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 565 KB
english, 2003
14

The regular-language semantics of second-order idealized ALGOL

Dan R. Ghica, Guy McCusker
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 479 KB
english, 2003
15

Concurrency in timed automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 373 KB
english, 2003
16

The differential lambda-calculus

Thomas Ehrhard, Laurent Regnier
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 456 KB
english, 2003
17

Editorial board v-x

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

Author index

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

On iterating linear transformations over recognizable sets of integers

Bernard Boigelot
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 547 KB
english, 2003