A logical process calculus
By: Rance Cleaveland, Gerald Lüttgen.
Contributors: Lüttgen, Gerald.; Institute for Computer Applications in Science and Engineering.
Series: ICASE report -- no. 2002-26.; [NASA contractor report] -- NASA/CR-2002-211759.; NASA contractor report -- NASA CR-211759.
Publisher: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center; For sale by the National Technical Information Service
Published: 2002
Place of publication: Hampton, VA; [Springfield, VA
Language: eng
Format: Microform
Subjects: Heterogeneity.; Specifications.; Algebra.
Notes: Also available via Internet from the NASA Technical Report Server web site. Address as of 5/16/05: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20020080693%5F2002133427.pdf; current access is available via PURL.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2002]. 1 microfiche.

UNABLE TO LOCATE FICHE OR DETERMINE IF WE EVER RECEIVED IT; NO SHIPPING LIST NO. AVAILABLE; RECORD RETAINED FOR WEB LINK, 8/05.