TY  - RPRT
TI  - A Logical Process Calculus
AU  - Cleaveland, Rance
AU  - Luettgen, Gerald
AU  - Bushnell, Dennis M.
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20020080693
ID  - 20020080693
ER  -