3 credits (3-0-0)
The course will focus on research issues in concurrent, distributed and mobile computations. Models of Concurrent, Distributed and Mobile computation. Process calculi, Event Structures, Petri Nets an labeled transition systems. Implementations of concurrent and mobile, distributed programming languages. Logics and specification models for concurrent and mobile systems.Verification techniques and algorithms for model checking.Type systems for concurrent/mobile programming languages.Applications of the above models and techniques.