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]] | Calculi for [[Mobile Processes]] | ||
Line 24: | Line 24: | ||
==== programming ==== | ==== programming ==== | ||
- | |||
* the actute language > http:// | * the actute language > http:// | ||
* pilib > http:// | * pilib > http:// | ||
+ | ==== simulators ==== | ||
+ | * The Stochastic Pi Machine (SPiM) > https:// | ||
a node about [[Programming Language]] design, related; [[CSP]] | a node about [[Programming Language]] design, related; [[CSP]] | ||