the Simple Concurrent Object-Oriented Programming extension for concurrent programming in the Eiffel programming language