A logical process calculus [electronic resource] / Rance Cleaveland, Gerald Luttgen.
Imprint
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, VA : For sale by the National Technical Information Service, 2002]