Some Ideas for a Clojure π-Calculus Lab
Posted on October 14, 2017 by oubiwann

I spent all night tonight reviewing my collection of π-Calculus papers and thinking about the ways in which one could implement an extremely simple π-Calculus for Clojure. In part, this involved reflecting on Erlang's general architecture (from the perspective of communicating nodes and processes).
I think I've got a plan for tackling this in what is essentially a "π-Calculus lab" – two JVM instances and a simple distributed messaging/storage solution. This would allow mem to simply focus on the mechanics of communicating processes/functions without getting bogged down in developing a system. That can come later, once various avenues have been explored in the "lab".
I'm pretty stoked to get started on this :-)
Author | oubiwann |
---|---|
Date | October 14, 2017 |
Time | 22:32:27 |
Category | Prototypes |
Tags | ideas plans r & d |
Line Count | 1 |
Word Count | 111 |
Character Count | 753 |