Quotienting the delay monad by weak bisimilarity
vastutusandmed
James Chapman, Tarmo Uustalu and Niccolo Veltri
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 29, 1
ilmumisaasta
leheküljed
p. 67-92
seeria-sari
Special Issue: Best Papers Presented at ICTAC 2015
märksõna
ISSN
0960-1295
märkused
Bibliogr. p. 24-26
Published online by Cambridge University Press: 17 October 2017
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
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.