Situated transition systems
author
Nester, Chad Mitchell
statement of authorship
Chad Nester
source
arXiv
location of publication
New York
publisher
Cornell University
year of publication
2022
pages
p. 103-115
series
Electronic proceedings in theoretical computer science, EPTCS ; 372
conference name, date
4th International Conference on Applied Category Theory, ACT 2021, 12-16 July 2022
conference location
Cambridge
url
https://doi.org/10.4204/EPTCS.372.8
subject term
kategooriad (matemaatika)
monoidid
parameetrid
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85142933767&origin=inward&txGid=aa703bff0532a11a2db3446f14ca2ddd
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300009
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
subject of form
preprindid
keyword
closed category
monoidal categories
open transitions
paranetrized
symmetrics
transition system
ISSN
2075-2180
notes
Bibliogr.: 22 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods