[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Project Ideas using TLA+ for my semester Project


I see here are a number of professionals in this group, I am just a new bee to TLA+ and I have learned the language to some extent, now I want to apply this learned knowledge to my semester project for my Distributed Computing Class, please suggest me with some ideas on what could be a best idea to work on for my semester project