The problem of programming language concurrency semantics


Type
Conference Object
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
Volume Title
9032
Publisher
Springer Berlin Heidelberg
Sponsorship
Engineering and Physical Sciences Research Council (EP/K008528/1)
Engineering and Physical Sciences Research Council (EP/H005633/1)