TY  - GEN
N1  - This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
TI  - Graphical affine algebra
Y1  - 2019/08/05/
AV  - public
CY  - Vancouver, BC, Canada
A1  - Bonchi, F
A1  - Piedeleu, R
A1  - Sobocinski, P
A1  - Zanasi, F
ID  - discovery10081075
N2  - Graphical linear algebra is a diagrammatic language
allowing to reason compositionally about different types of linear
computing devices. In this paper, we extend this formalism with
a connector for affine behaviour. The extension, which we call
graphical affine algebra, is simple but remarkably powerful: it
can model systems with richer patterns of behaviour such as
mutual exclusion?with modules over the natural numbers as
semantic domain?or non-passive electrical components?when
considering modules over a certain field. Our main technical
contribution is a complete axiomatisation for graphical affine
algebra over these two interpretations. We also show, as case
studies, how graphical affine algebra captures electrical circuits
and the calculus of stateless connectors?a coordination language
for distributed systems
SN  - 1043-6871
PB  - IEEE
UR  - https://doi.org/10.1109/LICS.2019.8785877
ER  -