Mathematical model of simplified Constrained Priority Countdown Freezing protocol.

Ante Kristic, Julije Ozegovic, Ivan Kedzo

Browse the full ISCC paper archive.