print

Concurrent process histories and resource transducers

author
Nester, Chad Mitchell
statement of authorship
Chad Nester
source
Logical methods in computer science
journal volume number month
vol. 19, 1
year of publication
2023
pages
p. 7:1-7:22 : ill
url
https://doi.org/10.46298/LMCS-19(1:7)2023
subject term
matemaatika
arvutiteadus
loogika
kategooriateooria
matemaatilised teooriad
keyword
Computer Science
Logic in Computer Science
Mathematics
Category Theory
ISSN
1860-5974
notes
Bibliogr.: 28 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Computer science
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
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