Models of Concurrent Systems


39 hours.
Principles and basic concepts of concurrent systems.  
An introduction based on Milner's CCS. Transition
systems, operational semantics, bisimulation.  Expansion
theorem, axiomatization. Interleaving vs. true
concurrency. Other process algebras like CSP, ACP,
Pi-calculus and some specialized ones as probabilistic,
real-time, priorities etc.  Connections to different models
as Petri nets, Event structures, traces and so on.