In this paper we describe a systematic technique for designing parallel algorithms to solvc linear systems. Our approach is based on the logic derivation of a target algorithm from specilication of basic relations in the linear equations domain and their properties. Both input specification and [he resulting algorithm are expressed in the declarative computer-independenl form. The methodology is illustrated by deriving the parallel Gaussian triangular solver.