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
subject term
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
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
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.