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