Friday, May 19, 2017

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

http://ift.tt/2qYwIIa

Submitted May 19, 2017 at 07:33AM by awsometak http://ift.tt/2ryFadU Check me out at http://ift.tt/1RyFBcs !
Posted by at
Labels: , , , ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)