Fred Schneider

Digital Library

ACM Fellows

USA - 1995

citation

For work in semantics, methodology, and algorithms to support programming concurrent and distributed systems, particularly those intended for mission-critical settings.