Toward an algebraic theory of systems

@article{Matt2018TowardAA,
  title={Toward an algebraic theory of systems},
  author={Christian Matt and Ueli Maurer and Christopher Portmann and Renato Renner and Bj{\"o}rn Tackmann},
  journal={Theor. Comput. Sci.},
  year={2018},
  volume={747},
  pages={1-25}
}
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many… CONTINUE READING
1
Twitter Mention

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

An information-theoretic approach to hardness amplification

  • 2017 IEEE International Symposium on Information Theory (ISIT)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

Similar Papers

Loading similar papers…