Old Web
English
Sign In
Acemap
>
Paper
>
Concurrent separation logic
Concurrent separation logic
2014
Andrew W. Appel
Robert Dockins
Aquinas Hobor
Lennart Beringer
Josiah Dodds
Gordon Stewart
Sandrine Blazy
Xavier Leroy
Keywords:
Parallel computing
Separation logic
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]