Situated transition systems
Nester, Chad Mitchell
arXiv
2022
/
p. 103-115
https://doi.org/10.4204/EPTCS.372.8
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85142933767&origin=inward&txGid=aa703bff0532a11a2db3446f14ca2ddd
https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300009
String diagrammatic electrical circuit theory
Boisseau, Guillaume
;
Sobocinski, Pawel Maria
arXiv
2022
/
p. 178-191 : ill
https://doi.org/10.4204/EPTCS.372.13
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85142934721&origin=inward&txGid=35e7529106014989f763d699403bf508
https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300014