Algorithm representation

Representation of OCC as transactions.

Hogwild is kept in original form. This emphasizes the uncoordinated nature of hogwild, but should be easy to compare (e.g. with a description in the text) with the transaction model.