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

The problem of the relationships between "truly concurrent" operational and denotational semantics is tackled by mapping syntactic terms on similar semantic domains in both approaches. Occurrence Nets are associated to terms through a structured operational semantics based on a set of rewriting rules; Event Structures are defined as denotations for terms, without resorting to categorical constructions. The proof of the equivalence of the two semantics relies on the direct correspondence between Occurrence Nets and Event Structures. As a test case we use Milner's CCS: "truly concurrent's denotational and operational semantics are given for it and proved consistent. This equivalence is established here for the first time in the the concurrency approach. We prove also thal Winskel's categorical denotational semantics is equivalent to ours.