Writing correct lock-free and distributed stateful systems in Rust, with TLA+

Re:Writing correct lock-free and distributed stateful system... by pjmlp on Friday May 19, 2017 @08:45AM (#14375043)

A good book about is "Building High Integrity Applications with SPARK".

Ada/SPARK has parallel computations defined at language level, known as tasks.

[ Parent | on HN ]

Re:Writing correct lock-free and distributed stateful system... by unboxed_type on Friday May 19, 2017 @09:19AM (#14375304)

Thanks for the reference.

[ Parent | on HN ]