Talk:Process algebra

There are some minor differences between the two terms, process calculi and process algebra. The former is often used for models more closely related to (concurrent) programming languages (there are quite some implementations around for π, join, ambient etc.). The latter is often used for models like BCCSP, PA, ACP that focus on the basic theory under concurrency. I suggest to remove the redirection. -- XudongGuan 14:04, 19 October 2005 (UTC)