Volume 195; Issue 2

Theoretical Computer Science

Volume 195; Issue 2
1

Decidability of bisimulation equivalence for normed pushdown processes

Colin Stirling
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.32 MB
english, 1998
2

The modal mu-calculus alternation hierarchy is strict

J.C. Bradfield
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.48 MB
english, 1998
3

Process calculus based upon evaluation to committed form

Andrew M. Pitts, Joshua R.X. Ross
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.76 MB
english, 1998
5

On the expressiveness of internal mobility in name-passing calculi

Michele Boreale
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.47 MB
english, 1998
6

A process algebra with distributed priorities

Ranee Cleaveland, Gerald Lüttgen, V. Natarajan
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.28 MB
english, 1998
7

On transformations of concurrent-object programs

Anna Philippou, David Walker
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.14 MB
english, 1998
8

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 2.20 MB
english, 1998
9

Preface

Ugo Montanari, Vladimiro Sassone
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 66 KB
english, 1998
10

Author index volume 195 (1998)

Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 49 KB
english, 1998