Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., De Nicola R., Montanari U. On the consistency of 'truly concurrent' operational and denotational semantics. In: Third Annual Symposium on Logic in Computer Science (Edinburgh, Scotland, 5-8 July 1988). Proceedings, pp. 133 - 141. IEEE, 1988.
The problem of the relationships between "truly concurrent" operational and denotalional 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.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional