Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... Bitmap Image -- A type system for counting logs of multi-threaded nested transactional programs -- A...”