Research Catalog

Priority in process algebras

Title
Priority in process algebras [microform] / Rance Cleaveland, Gerald Lüttgen, V. Natarajan.
Author
Cleaveland, Rance.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1999]

Details

Additional Authors
  • Lüttgen, Gerald.
  • Naṭarājaṉ, V.
  • Langley Research Center.
Description
1 v.
Series Statement
  • ICASE report ; no. 99-3
  • [NASA contractor report] ; NASA/CR-1999-208979
Uniform Title
NASA contractor report ; NASA CR-208979.
Subject
  • Algebra
  • Algorithms
  • Calculus
  • Progress
  • Real time operation
  • Selection
  • Surveys
Note
  • Shipping list no.: 99-0654-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:208979
OCLC
marcive42250611
Author
Cleaveland, Rance.
Title
Priority in process algebras [microform] / Rance Cleaveland, Gerald Lüttgen, V. Natarajan.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1999]
Series
ICASE report ; no. 99-3
[NASA contractor report] ; NASA/CR-1999-208979
NASA contractor report ; NASA CR-208979.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.
Added Author
Lüttgen, Gerald.
Naṭarājaṉ, V.
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:208979
Research Call Number
READEX Microfiche NAS 1.26:208979
View in Legacy Catalog