Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill http://dx.doi.org/10.1016/j.jlamp.2016.07.001

Combining communicating sequential processes and temporal logicPearson, Justin; Bryans, JeremyProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 130-137