Formal Models for Parallel and Distributed Systems (SS 2009)

This course deals with the formal modeling of concurrent systems such as parallel or multi-threaded programs, distributed hardware and software systems, mobile systems, and the like.