prindi

Bialgebraic foundations for the operational semantics of string diagrams

autor
Bonchi, Filippo
Piedeleu, Robin
Sobocinski, Pawel Maria
Zanasi, Fabio
vastutusandmed
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi
allikas
Information and computation
ajakirja aastakäik number kuu
vol. 281
ilmumisaasta
2021
leheküljed
art. 104767, 22 p
leitav
https://doi.org/10.1016/j.ic.2021.104767
märksõna
stringiteooria
semantika
algebra
võtmesõna
string diagrams
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
tarkvarateaduse instituut
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