Coinductive big-step semantics for concurrency
autor
vastutusandmed
Tarmo Uustalu
allikas
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
ilmumiskoht
Sydney
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 63-78
seeria-sari
Electronic proceedings in theoretical computer science ; 137
konverentsi nimetus, aeg
5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, 23 March 2013
konverentsi toimumispaik
Rome
ISSN
2075-2180
märkused
Bibliogr.: 14 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
ingliae
märksõna
võtmesõna
kategooria (üld)
kategooria (alam)
Uustalu, T. Coinductive big-step semantics for concurrency // Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013. Sydney : Open Publishing Association, 2013. p. 63-78. (Electronic proceedings in theoretical computer science ; 137).