SMS: Concurrent systems