Concurrent process histories and resource transducers
autor
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
keel
inglise
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
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