Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math., 86(10&11):1696-1706, 2009. [doi]
@article{BurriezaGM09, title = {Functional systems in the context of temporal×modal logics with indexed flows}, author = {Alfredo Burrieza and Inman P. de Guzmán and Emilio Muñoz-Velasco}, year = {2009}, doi = {10.1080/00207160902795619}, url = {http://dx.doi.org/10.1080/00207160902795619}, tags = {modal logic, data-flow, context-aware, logic}, researchr = {https://researchr.org/publication/BurriezaGM09}, cites = {0}, citedby = {0}, journal = {Int. J. Comput. Math.}, volume = {86}, number = {10&11}, pages = {1696-1706}, }