Dynamic Spatial Logics: A Tutorial Survey

Research output: Contribution to journalArticlepeer-review


Spatial logics for concurrency have been proposed with the aim of reasoning about distribution, resource usage, mobility, and other structural as- pects of general computing systems. This tutorial aims to introduce and motivate the main intuitions behind the development of dynamic spatial logics, and then present some selected results and applications.
Original languageEnglish
Pages (from-to)76-112
JournalBulletin of the European Association for Theoretical Computer Science
Issue numberNA
Publication statusPublished - 1 Jan 2008

Cite this