Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
Under a Creative Commons license
open access
Keywords
temporal logic
modal logic
functional reactive programming
categorical semantics
Cited by (0)
- 1
This work was partly supported by the ERDF through the Estonian Center of Excellence in Computer Science (EXCS).
Copyright © 2012 Elsevier B.V.