Concurrent Systems Research Group