Bialgebraic foundations for the operational semantics of string diagrams

vastutusandmed
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi
allikas
Information and computation
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 (pronks)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
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