TY - RPRT TI - Toward an Algebraic Theory of Systems AU - Christian Matt AU - Ueli Maurer AU - Christopher Portmann AU - Renato Renner AU - Björn Tackmann PY - 2018 DO - 10.1016/j.tcs.2018.06.001 UR - https://arxiv.org/abs/1609.04293 ID - 1609.04293 ER -