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
Combining communicating sequential processes and temporal logic
Pearson, Justin
;
Bryans, Jeremy
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 130-137