Perfect concurrent description