Embedding RCC8D in the collective spatial logic CSLCS

DOI10.1007/978-3-030-21485-2_15OpenAlexW2953976787MaRDI QIDQ6199109

Mieke Massink, Vincenzo Ciancia, Diego Latella

Publication date: 23 February 2024

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21485-2_15

zbMATH Keywords

closure spacesspatial logicsadjacency spacesCSLCSRCC8DSLCS

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Minimisation of spatial models using branching bisimilarity