Documents April 21st, 2002Copyright © 2002, 2004, Andrew W. Moore Andrew W. Moore Professor School of...

Slide 1 April 21st, 2002Copyright © 2002, 2004, Andrew W. Moore Andrew W. Moore Professor School of Computer Science Carnegie Mellon University www.cs.cmu.edu/~awm [email protected]…

Documents Formalisms for Concurrent Systems Philippe Giabbanelli CMPT 894 – Spring 2008.

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…