We derive a closed-form expression for the bilateral credit valuation adjustment of a credit default swap in presence of simultaneous defaults. We develop our analysis under a default intensity model specified by a class of three-dimensional subordinators, allowing for default dependence through...