Cover Image
Read Now

1
Published 2018
Springer International Publishing
Table of Contents: “...Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability...”