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' ChapuisReceived on Thu May 12 2011 - 17:38:57 CEST
This archive was generated by hypermail 2.2.0 : Thu May 12 2011 - 17:48:03 CEST