Scott A. Smolka

Introduction to operating system design and implementation

2007

Interactive computation

2006

Concur '95 - Concurrency Theory

1995

OSP

1991