Browse
FAQ

Author

Scott A. Smolka

7 books found

Cover of Runtime Verification

Runtime Verification

Borzoo Bonakdarpour, Scott A. Smolka · First published 2014

Cover of Introduction to operating system design and implementation

Introduction to operating system design and implementation

Michael Kifer, Scott A. Smolka · First published 2007

Cover of Interactive computation

Interactive computation

Scott A. Smolka, Peter Wegner · First published 2006

Cover of Interactive Computation

Interactive Computation

Dina Goldin, Scott A. Smolka, Peter Wegner · First published 2006

Cover of Handbook of process algebra

Handbook of process algebra

J. A. Bergstra, Scott A. Smolka · First published 2001

Cover of Concur '95 - Concurrency Theory

Concur '95 - Concurrency Theory

Scott A. Smolka · First published 1995

Cover of OSP

Osp

Michael Kifer, Scott A. Smolka · First published 1991