Added deadlock solution descriptions