full record print

Concurrent process histories and resource transducers

author
statement of authorship
Chad Nester
source
journal volume number month
vol. 19, 1
year of publication
pages
p. 7:1-7:22 : ill
url
ISSN
1860-5974
notes
Bibliogr.: 28 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
Reserch Group
Laboratory for compositional systems and methods
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