Skip to main content

On the expressiveness of CSP

A.W. Roscoe

Note
Draft of February 2011‚ which is very different from previous draft (2008).
Year
2011