Scott A. Smolka

No bio available. Add one in Open Library.

Books by Scott A. Smolka (50 max)

+ shelf+ list

Handbook of process algebra

2001

J. A. Bergstra, Scott A. Smolka

+ shelf+ list

Interactive Computation The New Paradigm

2006

Dina Goldin, Scott A. Smolka, Peter Wegner

+ shelf+ list

Introduction to Operating System Design and Implementation: The OSP 2 Approach (Undergraduate Topics in Computer Science)

2007

Michael Kifer, Scott A. Smolka

+ shelf+ list

Runtime Verification 5th International Conference, RV 2014, Toronto, on, Canada, September 22-25, 2014. Proceedings

2014

Borzoo Bonakdarpour, Scott A. Smolka

+ shelf+ list

OSP: An Environment for Operating System Projects

1991

Michael Kifer, Scott A. Smolka

+ shelf+ list

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science)

1995

Scott A. Smolka

+ shelf+ list

Interactive Computation: The New Paradigm

2006

Scott A. Smolka, Peter Wegner