Hi Dr. den Haan,
Thank you very much for the link. Guess what, "The
Java Language Specification" is just one of the three literatures( the other two are: Concurrent Programming in Java-Design Principles and
Patterns and The Java Virtual Machine Specification) specified by my professor for the concurrency course, and his research area is:
Formal specification of communication protocols
Application and development of formal description techniques
Generic communication systems
Real time aspects of communications systems
FDT-based efficient implementation
Look at the title of the board you are moderating
The Java Language Specification was borrowed by someone else from the liberary, I only got the chance to have a look at the other two--then I understood why they were not borrowed away by other students--Obviously they are for you masters but not for us pupils
I had a look at the link you offered, much more accessible than the JVM specification. I�m printing it off. Thank you soooooooo much for the instruction!
We will run into Sockets and Internet Protocols in 2 or 3 weeks, I am turning around to your board.
Best Regards,
Ellen
[ January 14, 2003: Message edited by: Ellen Fu ]