Re: [dev] Suckless UML

From: Pierre Chapuis <catwell_AT_archlinux.us>
Date: Thu, 12 May 2011 17:38:57 +0200

 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
Received 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