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]
Abstract is missing.