Multiprogram design in the theory of Owicki and Gries

---

Autoria(s): Goldson, D. W.

Contribuinte(s)	G. Strong
Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:96334
Publicador	British Computer Society Publications
Palavras-Chave	#EX #280301 Programming Techniques #280302 Software Engineering #700100 Computer Software and Services
Tipo	Conference Paper