An Executable Formal Java Virtual Machine Thread Model.

Published in: Java Virtual Machine Research and Technology Symposium (2001)