Concepts and Notations for Concurrent Programming (1983)

by Gregory R Andrews, Fred B Schneider
Venue:Computing Surveys