Detecting potential synchronization constraint deadlocks from formal system specifications
Contributors: Berzins, Valdis Andris
Publisher: Naval Postgraduate School; Available from the National Technical Information Service
Published: 1992
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 70
Notes: Thesis advisor, Valdis Berzins.

AD-A249 019.

Thesis (M.S. in Computer Science) Naval Postgraduate School, March 1992.

Bibliography: p. 65-68.