Differences

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

Link to this comparison view

pi_calculus [2007-06-14 08:45] – external edit 127.0.0.1pi_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/ Calculi for [[Mobile Processes]]  \ \  http://www.cs.auc.dk/mobility/
Line 24: Line 24:
  
 ==== programming ==== ==== programming ====
- 
  
   * the actute language > http://www.cl.cam.ac.uk/users/pes20/acute/index.html   * the actute language > http://www.cl.cam.ac.uk/users/pes20/acute/index.html
   * pilib > http://lampwww.epfl.ch/~cremet/publications/pilib.pdf   * 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]] a node about [[Programming Language]] design, related; [[CSP]]
  
  
  • pi_calculus.1181810739.txt.gz
  • Last modified: 2007-09-12 09:05
  • (external edit)