Fischer's protocol

Here is an implementation of Fischer's protocol for 2 to 6 concurrent components. The components attempt infinitely often to enter the critical section, according to the protocol described e.g. here.

The clocks of the components have drift bounded by intervals. Safe and unsafe versions are available, whose difference cosists of the timeout for entering the critical section.