@misc{indiciae5d75dcc250f6,
  title = {A Logical Process Calculus},
  author = {Cleaveland, Rance and Luettgen, Gerald and Bushnell, Dennis M.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20020080693},
  note = {Source identifier: 20020080693}
}