Back to Results
First PageMeta Content
Algebra / Mathematics / Abstract algebra / Semigroup theory / Algebraic structures / Mathematical logic / Category theory / Monoid / Algorithm / Concurrent algorithm


Specifying and Verifying 
 Concurrent
 Algorithms with 
 Histories and Subjectivity memoria software v3.qxd
Add to Reading List

Document Date: 2015-04-16 09:10:05


Open Document

File Size: 780,67 KB

Share Result on Facebook