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
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
https://www.scopus.com/sourceid/25509
https://www.scopus.com/record/display.uri?eid=2-s2.0-85109004037&origin=inward&txGid=8982598f8a6bd1e70aeb24b273b85c90
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INFORM%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Computer science. Information systems
Arvutiteadus. Infosüsteemid
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods