Non abbiamo ancora una biografia di Scott A. Smolka.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Runtime Verification
2014
Introduction to operating system design and implementation
2007
Interactive Computation
2010
OSP
1991
Interactive computation
2006
Handbook of process algebra
2001
Concur '95 - Concurrency Theory
1995
Otium
