Concurrent process histories and resource transducers
author
statement of authorship
Chad Nester
journal volume number month
vol. 19, 1
year of publication
pages
p. 7:1-7:22 : ill
ISSN
1860-5974
notes
Bibliogr.: p. 7-21-7-22
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
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.