Volume 330; Issue 3

Theoretical Computer Science

Volume 330; Issue 3
3

On the representation of McCarthy's in the -calculus

Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 451 KB
english, 2005
4

Elimination of spatial connectives in static spatial logics

Étienne Lozes
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 330 KB
english, 2005
5

On the computational strength of pure ambient calculi

Sergio Maffeis, Iain Phillips
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 485 KB
english, 2005
6

Decidability of infinite-state timed CCP processes and first-order LTL

Frank D. Valencia
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 364 KB
english, 2005
7

Author index

Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 227 KB
english, 2005
8

Master index

Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 337 KB
english, 2005
9

A hierarchy of failures-based models: theory and application

Christie Bolton, Gavin Lowe
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 353 KB
english, 2005
10

Weak bisimilarity and regularity of context-free processes is EXPTIME-hard

Richard Mayr
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 292 KB
english, 2005