Derek Kelleher, Tim Fernando, Carl Vogel. Between the Event Calculus and Finite State Temporality. In Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla, editors, Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings. Volume 9804 of Lecture Notes in Computer Science, pages 112-129, Springer, 2015. [doi]
@inproceedings{KelleherFV15,
title = {Between the Event Calculus and Finite State Temporality},
author = {Derek Kelleher and Tim Fernando and Carl Vogel},
year = {2015},
doi = {10.1007/978-3-662-53042-9_7},
url = {http://dx.doi.org/10.1007/978-3-662-53042-9_7},
researchr = {https://researchr.org/publication/KelleherFV15},
cites = {0},
citedby = {0},
pages = {112-129},
booktitle = {Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings},
editor = {Annie Foret and Glyn Morrill and Reinhard Muskens and Rainer Osswald and Sylvain Pogodalla},
volume = {9804},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-53041-2},
}