Wolfgang Jeltsch. An abstract categorical semantics for functional reactive programming with processes. In Nils Anders Danielsson, Bart Jacobs 0002, editors, Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. pages 47-58, ACM, 2014. [doi]
Abstract is missing.