[Istrail93] S. Istrail and C. Masalagiu, Niat's Processing Systems: Decisions Problems Related to Protection and Synchronization, Theoretical Computer Science, V26(1983) pp 83-103, 1993. [This paper provides detailed mathematical analysis of protection synchronization challenges.]
fc@red.all.net