Título: Propositional Dynamic Logic with Storing, Recovering and Parallel CompositionAutor: Jorge Petrúcio VianaRenata Pereira de FreitasAno: 2011DOI: 10.1016/j.entcs.2011.03.008Revista: Electronic Notes in Theoretical Computer ScienceISSN: 15710661Home: [doi:10.1016/j.entcs.2011.03.008]Idioma: Inglês