Coinductive big-step semantics for concurrency
author
Uustalu, Tarmo
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
Open Publishing Association
year of publication
2013
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
url
https://doi.org/10.4204/EPTCS.137.6
subject term
semantika
programmeerimiskeeled
muutujad
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84954516018&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4204%2FEPTCS.137.6%29&sessionSearchId=b54b8b263198aa2b467a2e833e85bb3b
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
computational linguistics
computer programming languages
big-step semantics
constructive logic
ISSN
2075-2180
notes
Bibliogr.: 14 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
küberneetika instituut
language
ingliae