[Fwd: Re: [go-nuts] Need for official package manager]

[Russel Winder]

On Mon, 2014-03-31 at 14:42 +0000, Kagamin wrote:
> On Monday, 31 March 2014 at 09:18:08 UTC, Russel Winder wrote:
> > Communicating Sequential Processes (CSP)
> 
> "a formal language for describing patterns of interaction in 
> concurrent systems"?

Which is why a framework realizing CSP for real programs has a proof
obligation: proof that the rules of CSP are actually implemented by the
components of the framework.

-- 
Russel.
=============================================================================
Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder at ekiga.net
41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel at winder.org.uk
London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder