Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Proceedings of the Pittsburgh seminar on concurrency

Proceedings of the Pittsburgh seminar on concurrency

Editor
A. W. Roscoe and S.D. Brookes and G. Winskel
Number
197
Publisher
Springer
Series
LNCS
Year
1985

Links

See Also

Back to Top