Volume 138; Issue 1

1

Preface

Year:
2005
Language:
english
File:
PDF, 63 KB
english, 2005
4

A Proof Search Specification of the π-Calculus

Year:
2005
Language:
english
File:
PDF, 397 KB
english, 2005
5

Typechecking Safe Process Synchronization

Year:
2005
Language:
english
File:
PDF, 373 KB
english, 2005
6

Contextual Labelled Semantics for Higher-order Process Calculi

Year:
2005
Language:
english
File:
PDF, 309 KB
english, 2005