Title :
A formal model of the java multithreading system and its validation on a known problem
Author :
Chaumette, Serge ; Ugarte, Asier
Author_Institution :
LaBRI
Keywords :
Distributed computing; Java; Multithreading; Natural languages; Programming profession; Software tools; Sun; Trademarks; Virtual machining; Yarn;
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7695-0990-8
DOI :
10.1109/IPDPS.2001.925134
