34 citations · 40 across the 3 of their papers we have counts for
3 papers
Asymmetric Distributed Trust
Orestis Alpos, Christian Cachin, Björn Tackmann +1
Quorum systems are a key abstraction in distributed fault-tolerant computing for capturing trust assumptions. They can be found at the core of many algorithms for implementing reli…
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…
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…