Contents: The course will focus on research issues in concurrent, distributed and mobile computations. Some of the following topics will be covered:
Models of Concurrent, Distributed and Mobile computation. Process calculi, Event Structures, Petri Nets and 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.