This chapter derives the posteriori error estimates for the finite element approximation of elliptic variational inequalities of the second kind, by using the duality theory in convex analysis. An example in which the ...