Concurrency Control Transaction (erlang)