Seminar: A lightweight introduction to concurrent systems