GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

International Summer School at DTU, August 21-25, 2006

Modal process logics

Lectures by Luís Caires, New University of Lisbon, Portugal


Modal process logics are a powerful tool for specifying and reasoning about behavioral properties of concurrent and distributed systems expressed with process calculi. More recently, logics have also been proposed which can express many interesting properties of systems with rich temporal and structural dynamics, for example, properties about spatial configurations or usage of resources. In these lectures, I will review behavioral and spatial logics for concurrency and distribution, covering principles, and associated specification and verification techniques.

Contact: globan@imm.dtu.dk