External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Investigating Java Concurrency Using Abstract State Machines

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]

Authors

Yuri Gurevich

Identified as Yuri Gurevich
(Microsoft Research
)

Wolfram Schulte

Identified as Wolfram Schulte

Charles Wallace

This author has not been identified. Look up 'Charles Wallace' in Google
runs on