Eiffel – Concurrency patterns in SCOOP [pdf]

Also see the code repository at https://github.com/romasch/scoop_patterns