On Thu, 12 May 2011 15:57:13 +0200, Nicolai Waniek wrote:
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.
FSP notation from LTSA (http://www.doc.ic.ac.uk/ltsa/) is interesting
too,
although the software itself would definitely not be considered
suckless.
It's been a years since I've use it but it can actually describe most
problems pretty well.
--
Pierre 'catwell' Chapuis