New interpretation and generalization of the Kameda-Weiner method
Tamm, Hellis
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
2016
/
p. 116:1-116:12
http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.116
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85012877964&origin=inward&txGid=fb9cb85deb3dc84b124803afa96605f0
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85137593461&origin=inward&txGid=a48c4f25a2657cb2d41c28f255b51505
String diagrammatic trace theory
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
2023
/
art. 43, 43 p. : ill
https://doi.org/10.4230/LIPIcs.MFCS.2023.43
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436