Coinductive big-step semantics for concurrency
author
statement of authorship
Tarmo Uustalu
source
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
location of publication
Sydney
publisher
year of publication
pages
p. 63-78
series
Electronic proceedings in theoretical computer science ; 137
conference name, date
5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, 23 March 2013
conference location
Rome
ISSN
2075-2180
notes
Bibliogr.: 14 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
ingliae
subject term
keyword
category (general)
category (sub)
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).