Chen-Kuei reproduces and compares CO₂ liquefaction processes in Aspen HYSYS that recover cold energy from LNG regasification, assessing working fluids and exergy performance.