On 27 March 2013 09:58, Andre van Delft <andre.vande...@gmail.com> wrote:
> In 1989 Henk Goeman combined Lambda Calculus with concepts from > concurrency directly, in his paper "Towards a Theory of (Self) Applicative > Communicating Processes: a Short Note". The PDF is available at > http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.8907 > The Distributed Join Calculus is also a really lovely piece of design in this area: http://research.microsoft.com/en-us/um/people/fournet/papers/join-tutorial.pdf. It'd be difficult to turn it into a "binary pi/join calculus", though, because to make it address the reality of communication you'd have to come up with some way of naming channels in the binary encoding that wasn't ad-hoc. Truly integrating communication seems somehow to unavoidably drag in a bunch of metamachinery that no-one really knows how to build yet. Regards, Tony -- Tony Garnock-Jones tonygarnockjo...@gmail.com http://homepages.kcbbs.gen.nz/tonyg/
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc