Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana. Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electronic Notes in Theoretical Computer Science, 269:95-107, 2011. [doi]
@article{BenevidesFV11,
title = {Propositional Dynamic Logic with Storing, Recovering and Parallel Composition},
author = {Mario R. F. Benevides and Renata P. de Freitas and Jorge Petrúcio Viana},
year = {2011},
doi = {10.1016/j.entcs.2011.03.008},
url = {http://dx.doi.org/10.1016/j.entcs.2011.03.008},
tags = {composition, logic},
researchr = {https://researchr.org/publication/BenevidesFV11},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {95-107},
}