Bialgebraic foundations for the operational semantics of string diagrams
author
Bonchi, Filippo
Piedeleu, Robin
Sobocinski, Pawel Maria
Zanasi, Fabio
statement of authorship
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi
source
Information and computation
publisher
Elsevier Inc.
journal volume number month
vol. 281
year of publication
2021
pages
art. 104767, 22 p
url
https://doi.org/10.1016/j.ic.2021.104767
subject term
stringiteooria
semantika
algebra
keyword
string diagrams
structural operational semantics
bialgebraic semantics
ISSN
0890-5401
notes
Bibliogr.: 50 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
category (sub)
Computer science. Computational theory and mathematics
en
Arvutiteadus. Arvutusteooria ja matemaatika
et
Computer science. Information systems
en
Arvutiteadus. Infosüsteemid
et
Computer science. Computer science applications
en
Arvutiteadus. Arvutiteaduse rakendused
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Laboratory for compositional systems and methods