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
võtmesõna
structural operational semantics
bialgebraic semantics
ISSN
0890-5401
märkused
Bibliogr.: 50 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
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