DocumentCode

3127744

Title

A formal model of the java multithreading system and its validation on a known problem

Author

Chaumette, Serge ; Ugarte, Asier

Author_Institution

LaBRI

fYear

2000

fDate

23-27 April 2000

Firstpage

1499

Lastpage

1506

Keywords

Distributed computing; Java; Multithreading; Natural languages; Programming profession; Software tools; Sun; Trademarks; Virtual machining; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing Symposium., Proceedings 15th International

Conference_Location

San Francisco, CA, USA

ISSN

1530-2075

Print_ISBN

0-7695-0990-8

Type

conf

DOI

10.1109/IPDPS.2001.925134

Filename

925134