Abschnittsübersicht

  • Formal Models for Parallel and Distributed Systems (326.076, SS 2009)

    Time: Monday, 8:30-10:00, T041.
    Start:     March 2, 2009.

    This course deals with the formal modeling and specifying of concurrent systems such as parallel or multi-threaded programs, distributed hardware and software systems, mobile systems, and the like. We will discuss some of most important developments in this area:
    • Lamport's Temporal Logic of Actions (TLA) on which the specification language TLA+ is based,
    • Hoare's Communicating Sequential Processes (CSP) which was the origin of many parallel languages,
    • Milner's Calculus of Communicating Systems (CCS) for modeling communication and concurrency, and
    • Milner's pi-Calculus which also models mobility.
    Our discussion will be accompanied by the demonstration of practical software tools supporting these calculi. The participants are expected to elaborate small exercises which will be used for grading (there will be no final exam).
    To take part in the course, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the News forum.