TY - JOUR
T1 - Dynamic Spatial Logics: A Tutorial Survey
AU - Caires, Luís Manuel Marques da Costa
PY - 2008/1/1
Y1 - 2008/1/1
N2 - 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.
AB - 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.
UR - http://www.researchgate.net/publication/242638547_Dynamic_Spatial_Logics_A_Tutorial_Survey
M3 - Article
SN - 0252-9742
VL - 94
SP - 76
EP - 112
JO - Bulletin of the European Association for Theoretical Computer Science
JF - Bulletin of the European Association for Theoretical Computer Science
IS - NA
ER -