34 citations · 40 across the 2 of their papers we have counts for
2 papers
cs.OH2016★ 6 cited
Toward an Algebraic Theory of Systems
Christian Matt, Ueli Maurer, Christopher Portmann +2
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…
quant-ph2015★ 34 cited
Causal Boxes: Quantum Information-Processing Systems Closed under Composition
Christopher Portmann, Christian Matt, Ueli Maurer +2
Complex information-processing systems, for example quantum circuits, cryptographic protocols, or multi-player games, are naturally described as networks composed of more basic inf…