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