Occam (programming language): Difference between revisions

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==