Title: Acp Calculus of a Single Varia Ble Hvcc