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
ISSN
0960-1295
märkused
Bibliogr. p. 24-26
Published online by Cambridge University Press: 17 October 2017
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
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.