Skip to main content

Compiling Shared Variable Programs into CSP

A. W. Roscoe

Book Title
Proceedings of PROGRESS workshop 2001
Year
2001