On 9/15/07, Arnar Birgisson <arnarbi at gmail.com> wrote: > [1] http://portal.acm.org/citation.cfm?id=359585 Sorry, didn't realize this link might need an ACM login. Here's a direct link to a PDF file: http://www.cs.virginia.edu/crab/hoare1978csp.pdf Arnar