Quotienting the delay monad by weak bisimilarity
vastutusandmed
James Chapman, Tarmo Uustalu & Niccolò Veltri
allikas
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 110 - 125
seeria-sari
Lecture notes in computer science ; 9399
konverentsi nimetus, aeg
12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, 29-31 October 2015
konverentsi toimumispaik
Cali
ISSN
0302-9743
ISBN
978-331925149-3
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Chapman, J., Uustalu, T., Veltri, N. Quotienting the delay monad by weak bisimilarity // Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Cham : Springer, 2015. p. 110 - 125. (Lecture notes in computer science ; 9399).