Introduction to Concurrency and Recovery