Concurrent process histories and resource transducers

vastutusandmed
Chad Nester
ajakirja aastakäik number kuu
vol. 19, 1
ilmumisaasta
leheküljed
p. 7:1-7:22 : ill
ISSN
1860-5974
märkused
Bibliogr.: 28 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
Nester, C.M. Concurrent process histories and resource transducers // Logical methods in computer science (2023) vol. 19, 1, p. 7:1-7:22 : ill. https://doi.org/10.46298/LMCS-19(1:7)2023