Quotienting the delay monad by weak bisimilarity
author
Chapman, James
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
James Chapman, Tarmo Uustalu and Niccolo Veltri
source
Mathematical structures in computer science
publisher
Cambridge University Press
journal volume number month
vol. 29, 1
year of publication
2019
pages
p. 67-92
series
Special Issue: Best Papers Presented at ICTAC 2015
url
https://doi.org/10.1017/s0960129517000184
subject term
arvutiteadus
loogiline programmeerimine
ISSN
0960-1295
notes
Bibliogr. p. 24-26
Published online by Cambridge University Press: 17 October 2017
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/5000157801
https://www.scopus.com/record/display.uri?eid=2-s2.0-85032199059&origin=inward&txGid=c7609f90464ba9350de0d635718adaca
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MATH%20STRUCT%20COMP%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000451889100004
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. Mathematics (miscellaneous)
Matemaatika. Matemaatika (mitmesugused)
Computer science. Computer science applications
Arvutiteadus. Arvutiteaduse rakendused
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory