[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.