[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Simple Concurrent/Distributed example with an implementation
I was looking for what would amount to the world's simplest concurrent/distributed (i.e. multithreaded/multiprocess/network) design/architecture for which there was an implementation that satisfied the design but for which TLA+ is used to find a problem in the design. So it would be an end-to-end sort of look at a system that included TLA+ as a key artifact.