Volume 242; Issue 3

Electronic Notes in Theoretical Computer Science

Volume 242; Issue 3
1

Type Inference for Correspondence Types

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 326 KB
english, 2009
2

Preface

Steve Kremer, Prakash Panangaden
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 95 KB
english, 2009
3

A Complete Symbolic Bisimilarity for an Extended Spi Calculus

Johannes Borgström
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 355 KB
english, 2009