Bialgebraic foundations for the operational semantics of string diagrams

vastutusandmed
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi
allikas
Information and computation
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 281
ilmumisaasta
leheküljed
art. 104767, 22 p
ISSN
0890-5401
märkused
Bibliogr.: 50 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
structural operational semantics
bialgebraic semantics
Bonchi, F., Piedeleu, R., Sobocinski, P. M., Zanasi, F. Bialgebraic foundations for the operational semantics of string diagrams // Information and computation (2021) vol. 281, art. 104767, 22 p. https://doi.org/10.1016/j.ic.2021.104767