Internet Archive BookReader

NASA Technical Reports Server (NTRS) 19840023887: Specifying the behavior of concurrent systems