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)
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.