Differences

This shows you the differences between two versions of the page.

--- pi_calculus [2007-06-14 08:45] – external edit 127.0.0.1
+++ pi_calculus [2007-09-12 09:05] (current) – 192.168.1.50
@@ Line 2: / Line 2: @@
-===== ¹-calculus =====
+===== π-calculus =====
 Calculi for [[Mobile Processes]]  \ \  http://www.cs.auc.dk/mobility/
@@ Line 24: / Line 24: @@
 ==== programming ====
   * the actute language > http://www.cl.cam.ac.uk/users/pes20/acute/index.html
   * pilib > http://lampwww.epfl.ch/~cremet/publications/pilib.pdf
+==== simulators ====
+  * The Stochastic Pi Machine (SPiM) > https://research.microsoft.com/~aphillip/spim/
 a node about [[Programming Language]] design, related; [[CSP]]