Protocol choice and iteration for the free cornering
autor
Nester, Chad Mitchell
Voorneveld, Niels
vastutusandmed
Chad Nester, Niels Voorneveld
allikas
Journal of logical and algebraic methods in programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 137
ilmumisaasta
2024
leheküljed
art. 100942, 30 p
leitav
https://doi.org/10.1016/j.jlamp.2023.100942
märksõna
kategooriateooria
matemaatilised teooriad
võtmesõna
Category theory
Concurrency
Double categories
Computational effects
ISSN
2352-2208
märkused
Bibliogr.: 38 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-85181915516&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Protocol+choice+and+iteration+for+the+free+cornering%22%29&sessionSearchId=a1950993a8713b95c4defac4e2fbf8c1&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001154322400001
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Logic
Matemaatika. Loogika
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. Software
Arvutiteadus. Tarkvara
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise