Yuri Gurevich, Wolfram Schulte, Charles Wallace. Investigating Java Concurrency Using Abstract State Machines. In Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele, editors, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità , Switzerland, March 19-24, 2000, Proceedings. Volume 1912 of Lecture Notes in Computer Science, pages 151-176, Springer, 2000. [doi]
@inproceedings{GurevichSW00,
title = {Investigating Java Concurrency Using Abstract State Machines},
author = {Yuri Gurevich and Wolfram Schulte and Charles Wallace},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120151.htm},
tags = {Java, state machines, abstract machine},
researchr = {https://researchr.org/publication/GurevichSW00},
cites = {0},
citedby = {0},
pages = {151-176},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità , Switzerland, March 19-24, 2000, Proceedings},
editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele},
volume = {1912},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67959-6},
}