Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems
Authors: Marius Bozga, Lucas Bueri and Radu Iosif
Paper Information
| Title: | Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems |
| Authors: | Marius Bozga, Lucas Bueri and Radu Iosif |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | separation logic, satisfiability, entailment, decidability, complexity |
| Pages: | 20 |
| Talk: | Aug 10 11:20 (Session 112D: Decidable Logics and Models) |
| Paper: |  |