On the consistency of "truly concurrent" operational and denotational semantics