Efficient compositional models are required to simulate underground gas storage in porous formations where, for example, gas quality (such as purity) and loss of gas due to dissolution are of interest. We first extend the ...