Generalized abstract process categories

Wolfgang Jeltsch

Institute of Cybernetics at TUT

Tuesday, 10 June 2014, 14:00 (note the unusual weekday)
Tuesday, 17 June 2014, 14:00 (note the unusual weekday)
Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: Abstract process categories (APCs) are axiomatically defined categorical models for functional reactive programming (FRP) with processes. In this talk, I present a generalized form of APCs that can serve as a semantics for an FRP dialect with support for resources. Perhaps surprisingly, this generalized form of APCs seems to capture also an FRP dialect that lacks support for processes.

Tarmo Uustalu
Last update 16.6.2014