[Lecture Notes in Computer Science] Programming Languages and Systems Volume 10201 || The Essence of Higher-Order Concurrent Separation Logic
Yang, HongseokVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-662-54434-1_26
File:
PDF, 583 KB
english, 2017