3 commits

Author	SHA1	Message	Date
Nicholas Kariniemi	bc5921b2dc	CSP: Clean up syntax of simpler model	2015-12-18 10:51:37 +02:00
Nicholas Kariniemi	9901792fe8	CSP: Correct spec to actually test for n processes (not 3)	2015-12-11 14:48:20 +02:00
Nicholas Kariniemi	53bbaff30c	Move CSP spec from csp/ to spec/	2015-12-10 23:38:40 +02:00

Renamed from csp/sync.csp (Browse further)