SUMMARYA model for formed cracks in concrete is presented. The model can be used in isolation for existing cracks or linked with other damage or plasticity models and applied once a crack has fully formed. It can be applied directly to interface finite elements or used to control the behaviour of crack planes in more general constitutive models that are applied to 2D and 3D continuum elements. The focus of the present development is on aggregate interlock and crack closing behaviour, which is examined from available experimental data. A contact function is derived and is used to differentiate between three contact states. These states are named open, where there is no contact, interlock, for which the stresses depend upon the nearest distance to the contact surface and closed, for which the stresses depend upon the relative displacements directly. The model is developed within an elasto-plastic framework using effective stresses, which are related to the total stresses via a contact proportion function. The relationship between the effective normal and shear yield stresses is found to be parabolic and the yield shear stress to be dependent upon the opening and embedment displacements. The performance of the model is assessed against experimental data from shear-normal tests and it is concluded that the model is able to represent the key characteristics of the behaviour of formed cracks in concrete.