Scott A. Smolka

Books that list Scott A. Smolka among their authors but not as the lead author: co-written works, collections and compilations.

Introduction to operating system design and implementationMichael Kifer

Introduction to operating system design and implementation

Michael Kifer · 2007

Runtime VerificationBorzoo Bonakdarpour

Runtime Verification

Borzoo Bonakdarpour · 2014

Interactive ComputationDina Goldin

Interactive Computation

Dina Goldin · 2006

Handbook of process algebraJ. A. Bergstra

Handbook of process algebra

J. A. Bergstra · 2001

OSPMichael Kifer

OSP

Michael Kifer · 1991