Introduction to concurrency