dricketts / teaching-concurrency

Specifications and safety proofs in different tools of a simple concurrent algorithm
23Updated 4 years ago

Related projects

Alternatives and complementary repositories for teaching-concurrency