Specifying the behavior of concurrent systems
By: by Frederick C. Furtek
Contributors: Charles Stark Draper Laboratory; United States. National Aeronautics and Space Administration; United States. Office of Aeronautics and Space Technology
Series: CSDL-P -- 1915; NASA-CR -- 173839; NASA contractor report -- 173839
Publisher: Charles Stark Draper Laboratory, Inc.
Published: 1984
Place of publication: Cambridge, Mass
Language: eng
Format: Microform
Subjects: Concurrent Pascal (Computer program language); Programming languages (Electronic computers)
Notes: "Performed as part of a joint MIT/CSDL program sponsored by the NASA Office of Aeronautics and Space Technology under grant NAGW-448"--P. ii

"July 23rd, 1984."

Includes index

Bibliography: p. 61-62

Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration], 1984. 1 microfiche ; 11 x 15 cm