Elimination of quantifiers and undecidability in spatial logics for concurrency

We thank Hongseok Yang for the illuminating discussion that prompted our counterexample in Section 4. We acknowledge Luís Monteiro, Daniel Hirschkoff and Davide Sangiorgi for all the rich exchanges and encouragement; and Luca Cardelli for many related discussions. E. Jeandel provided some references...

Full description

Bibliographic Details
Main Author: Caires, Luís (author)
Other Authors: Lozes, Etienne (author)
Format: article
Language:eng
Published: 2019
Subjects:
Concurrency
Expressiveness
Spatial logic
Undecidability
Theoretical Computer Science
Computer Science(all)
Online Access:https://doi.org/10.1016/j.tcs.2006.01.020
Country:Portugal
Oai:oai:run.unl.pt:10362/61652
Description
Summary:We thank Hongseok Yang for the illuminating discussion that prompted our counterexample in Section 4. We acknowledge Luís Monteiro, Daniel Hirschkoff and Davide Sangiorgi for all the rich exchanges and encouragement; and Luca Cardelli for many related discussions. E. Jeandel provided some references about quantifier elimination. This collaboration was supported by FET IST 2001-33310 Profundis. E. Lozes was also funded by an “Eurodoc” grant from Région Rhône Alpes.

Similar Items