Boudou, Joseph and Herzig, Andreas
and Troquard, Nicolas
Resource separation in dynamic logic of propositional assignments.
(2019)
In: International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), 9 October 2019 - 9 October 2019 (Porto, Portugal).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 174kB |
Official URL: https://doi.org/10.1007/978-3-030-38808-9_10
Abstract
We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction axioms, thereby establishing decidability. We also prove that the complexity of both the model checking and the satisfiability problem stay in PSPACE.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | Thanks to Springer editor. This papers appears in volume 12005 of Lecture Notes in Computer Science ISSN: 0302-9743 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-38808-9_10 |
HAL Id: | hal-02942300 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) Other partners > Free University of Bozen-Bolzano - UNIBZ (ITALY) |
Laboratory name: | |
Funders: | ANR : Agence Nationale de la Recherche (France) |
Statistics: | download |
Deposited On: | 26 Aug 2020 07:30 |
Repository Staff Only: item control page