IEEE concurrency (IEEE Computer Society)