Lansky, Amy and Susan Owicki "GEM: a tool for concurrency specification and verification" Stanford University, Computer Systems Laboratory Report Number: CSL-TR-83-251 November 1983
(1983) |
Languages mentioned
- GEM {1985} Concurrent specification language
|
|