Many approaches have been presented to detect deadlock of Ada concurrent programs. Most of them adopt some kind of flow structure or Petri nets. In this paper, we express Ada rendezvous flow structure using process algebra. Through the deduction of process algebra expressions with equivalence, information about communications among processes can be obtained. Together with the help of communication dependence analysis, the paper proposes a static approach to detect deadlock in Ada rendezvous flow structure.