Specifying Concurrent Technologies