Volume 356; Issue 3

Theoretical Computer Science

Volume 356; Issue 3
1

Leader election in rings of ambient processes

Iain Phillips, Maria Grazia Vigliotti
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 371 KB
english, 2006
2

Name-passing in an ambient-like calculus and its proof using spatial logic

Xudong Guan
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 470 KB
english, 2006
4

On the expressive power of KLAIM-based calculi

Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 492 KB
english, 2006
5

Fairness of components in system computations

F. Corradini, M.R. Di Berardini, W. Vogler
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 455 KB
english, 2006
6

Preface

Jos Baeten, Flavio Corradini
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 106 KB
english, 2006
7

Author index

Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 154 KB
english, 2006
8

On the -language expressive power of extended Petri nets

A. Finkel, G. Geeraerts, J.-F. Raskin, L. Van Begin
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 355 KB
english, 2006
9

Concurrent nets: A study of prefixing in process calculi

Emmanuel Beffara, François Maurel
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 299 KB
english, 2006
11

On the expressiveness of higher dimensional automata

R.J. van Glabbeek
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 458 KB
english, 2006