Scott A. Smolka

• Concur '95 - Concurrency Theory
• Handbook of process algebra
• Interactive Computation
• Interactive computation
• Introduction to operating system design and implementation
• OSP
• Runtime Verification