Ante Kristic, Julije Ozegovic, Ivan Kedzo. Mathematical model of constrained priority countdown freezing protocol. In Nikola Rozic, Dinko Begusic, editors, 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014. pages 293-297, IEEE, 2014. [doi]
Abstract is missing.