Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016
https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
Symbolic Automata: Omega-Regularity Modulo Theories
Veanes, Margus
;
Ball, Thomas
;
Ebner, Gabriel
;
Zhuchko, Ekaterina
Proceedings of the ACM on Programming Languages
2025
/
art. 2, p. 33-66
https://doi.org/10.1145/3704838