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:[email protected] 41 Buckmaster Road m: +44 7770 465 077 xmpp: [email protected] London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder
