Formalisms for Concurrent Systems Philippe Giabbanelli CMPT 894 – Spring 2008 1 What is a process algebra? How did it evolve through the years and where does it go? Algebraic…
