Derivation of java monitors

---

Autoria(s): Dongol, B M S

Contribuinte(s)	J. Han M. Staples
Data(s)	01/01/2006
Identificador	http://espace.library.uq.edu.au/view/UQ:104390
Idioma(s)	eng
Publicador	IEEE Computer Society
Palavras-Chave	#E1 #280302 Software Engineering #780000 - Non-Oriented Research #280301 Programming Techniques #280303 Programming Languages #280402 Mathematical Logic and Formal Languages #280403 Logics and Meanings of Programs
Tipo	Conference Paper