Journal of Statistical Physics, Vol. 91, Nos. 1/2, 1998. p. 47-74.
We introduce a class of binary lattice gases which can be viewed as a lattice analogue of the continuum Widom-Rowlinson model, and which also is related to the beach model of Burton and Steif. This new model is shown to exhibit phase transition for large particle intensities. Stochastic monotonicity results of varying strength are derived in various parts of the parameter space. The main tool is a random-cluster representation of the model, analogous to the Fortuin Kasteleyn representation of the Potts model.