Title :
A methodology for the development of reliable synchronization software
Author :
Laventhal, Mark S.
Keywords :
Computer languages; Design methodology; Parallel processing; Software engineering; Software systems; Software tools; Specification languages; System recovery; Writing;
Conference_Titel :
Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
DOI :
10.1109/CMPSAC.1979.762459
