# 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} }

- Published in Theor. Comput. Sci. 2018
DOI:10.1016/j.tcs.2018.06.001

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

#### Citations

##### Publications citing this paper.

SHOWING 1-2 OF 2 CITATIONS

## Causal Boxes: Quantum Information-Processing Systems Closed Under Composition

VIEW 5 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## An information-theoretic approach to hardness amplification

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 34 REFERENCES

## On the theory of composition in physics”, in Computation, Logic, Games, and Quantum Foundations

#### Similar Papers

Loading similar papers…