W3C home > Mailing lists > Public > semantic-web@w3.org > March 2015

Bigraphs

From: carmen <_@whats-your.name>
Date: Fri, 20 Mar 2015 01:24:18 +0000
To: semantic-web@w3.org
Message-ID: <20150320012418.GA11619@t.clearwire-wmx.net>
> PI calculus, completely indecipherable

 "π-calculus, Session Types research at Imperial College" (whatever THAT is) is still putting out interesting material

http://mrg.doc.ic.ac.uk/publications/from-communicating-machines-to-graphical-choreographies/

off to read about "global graphs"
Received on Friday, 20 March 2015 01:21:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:49:36 UTC