Scott A. Smolka profile picture

Scott A. Smolka

Stand Alone

OSP: An Environment for Operating System Projects
Interactive computation
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science)