Toward an algebraic theory of systems
Matt, Christian; Maurer, Ueli; Portmann, Christopher; Renner, Renato; Tackmann, Björn
- 期刊名称Theoretical Computer Science
- 作者Matt, Christian; Maurer, Ueli; Portmann, Christopher; Renner, Renato; Tackmann, Björn
- 印刷ISSN0304-3975
- 文件大小584.48KB
- 发表时间2018-6
- DOI10.1016/j.tcs.2018.06.001