Quotienting the delay monad by weak bisimilarity
statement of authorship
James Chapman, Tarmo Uustalu and Niccolo Veltri
publisher
journal volume number month
vol. 29, 1
year of publication
pages
p. 67-92
series
Special Issue: Best Papers Presented at ICTAC 2015
ISSN
0960-1295
notes
Bibliogr. p. 24-26
Published online by Cambridge University Press: 17 October 2017
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
classifier
kvartiil
category (general)
TTÜ department
Reserch Group
Chapman, J., Uustalu, T., Veltri, N. Quotienting the delay monad by weak bisimilarity // Mathematical structures in computer science (2019) vol. 29, 1, p. 67-92.