The problem of programming language concurrency semantics
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Batty, M
Nienhuis, K
Pichon-Pharabod, J
Description
Keywords
4613 Theory Of Computation, 46 Information and Computing Sciences, 4612 Software Engineering
Journal Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference Name
Journal ISSN
0302-9743
1611-3349
1611-3349
Volume Title
9032
Publisher
Springer Berlin Heidelberg
Publisher DOI
Sponsorship
Engineering and Physical Sciences Research Council (EP/K008528/1)
Engineering and Physical Sciences Research Council (EP/H005633/1)
Engineering and Physical Sciences Research Council (EP/H005633/1)