Complexity as a basis for comparing semantic models of concurrency