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...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2019
|
| Assuntos: | |
| Texto completo: | https://doi.org/10.1016/j.tcs.2006.01.020 |
| País: | Portugal |
| Oai: | oai:run.unl.pt:10362/61652 |