  We show in the example of a one-dimensional asymmetric exclusion process that
stationary states of models with parallel dynamics may be written in a matrix
product form. The corresponding algebra is quadratic and involves three
different matrices. Using this formalism we prove previous conjectures for the
equal-time correlation functions of the model.
