In statistical mechanics, he introduced (simultaneously with Lanford and Ruelle) the DLR equations for the Gibbs measure.
He is credited with introducing the DLR equations for the Gibbs measure in statistical mechanics, a contribution made concurrently with Lanford and Ruelle.