Derivation of distributed programs in the theory of Owicki and Gries: An example

---

Autoria(s): Goldson, D. W.

Contribuinte(s)	J. Morris B. Aziz F Oehl
Data(s)	01/01/2003
Identificador	http://espace.library.uq.edu.au/view/UQ:98475
Publicador	British Computer Society
Palavras-Chave	#E1 #280302 Software Engineering #700100 Computer Software and Services
Tipo	Conference Paper