Richard Carver
Richard Carver is an Associate Professor in the
Computer Science Department at
George Mason University.
Research Interests:
- Specification, Testing, and Verification of Concurrent Programs
Recent Publications
Modern Multithreading Textbook
Send e-mail to Professor Carver:
Concurrent Systems: A page on the World Wide Web dedicated to Concurrent Systems.