Content deleted Content added
Added brief description of occam 1; various Occam -> occam changes; minor tweaks. |
m →occam 2.5: Fixed occam-pi link |
||
Line 90:
* extended rendezvous.
The KRoC team have made the compiler available on their website. In recent times, the team has decided to rename the compiler to [[Occam-Pi|occam-pi]], because of the use of theories from the [[Pi-calculus]].
==External links==
|