GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

Modal process logics

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

Abstract

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.