Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “...May-Happen-in-Parallel Analysis with Condition Synchronization -- Using dependent types to dene...”