Sorin Istrail Cristian Masalagiu Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization. 83-103 1983 26 Theor. Comput. Sci. db/journals/tcs/tcs26.html#IstrailM83