Process algebra (updated) July 9, 2009 yodaiken Uncategorized SeeĀ Process algebra and automata theory