On 05/12/2011 03:51 PM, Nicolai Waniek wrote: > I still have to find any sane mathematical notation for parallelism in > programming languages though...
Of course CSP goes in this direction, but as soon as your language is not based on CSP in any way, you yet again have to document describing the translation from CSP to the programming language at hand and vice versa.