Skip to main content
You are not logged in. (
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.