Dynamic Spatial Logics: A Tutorial Survey

Research output: Contribution to journalArticle

Abstract

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
Volume94
Issue numberNA
Publication statusPublished - 1 Jan 2008

Fingerprint Dive into the research topics of 'Dynamic Spatial Logics: A Tutorial Survey'. Together they form a unique fingerprint.

  • Cite this