?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Graphical+affine+algebra&rft.creator=Bonchi%2C+F&rft.creator=Piedeleu%2C+R&rft.creator=Sobocinski%2C+P&rft.creator=Zanasi%2C+F&rft.description=Graphical+linear+algebra+is+a+diagrammatic+language%0D%0Aallowing+to+reason+compositionally+about+different+types+of+linear%0D%0Acomputing+devices.+In+this+paper%2C+we+extend+this+formalism+with%0D%0Aa+connector+for+affine+behaviour.+The+extension%2C+which+we+call%0D%0Agraphical+affine+algebra%2C+is+simple+but+remarkably+powerful%3A+it%0D%0Acan+model+systems+with+richer+patterns+of+behaviour+such+as%0D%0Amutual+exclusion%E2%80%94with+modules+over+the+natural+numbers+as%0D%0Asemantic+domain%E2%80%94or+non-passive+electrical+components%E2%80%94when%0D%0Aconsidering+modules+over+a+certain+field.+Our+main+technical%0D%0Acontribution+is+a+complete+axiomatisation+for+graphical+affine%0D%0Aalgebra+over+these+two+interpretations.+We+also+show%2C+as+case%0D%0Astudies%2C+how+graphical+affine+algebra+captures+electrical+circuits%0D%0Aand+the+calculus+of+stateless+connectors%E2%80%94a+coordination+language%0D%0Afor+distributed+systems&rft.publisher=IEEE&rft.date=2019-08-05&rft.type=Proceedings+paper&rft.language=eng&rft.source=+++++In%3A++Proceedings+of+the+2019+34th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science+(LICS).++++IEEE%3A+Vancouver%2C+BC%2C+Canada.+(2019)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10081075%2F1%2FpaperLICS19.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10081075%2F&rft.rights=open