eprintid: 360
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/60
datestamp: 2011-06-13 14:32:57
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-13 14:32:57
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Corradini, Flavio
creators_name: De Nicola, Rocco
creators_id: 
creators_id: r.denicola@imtlucca.it
title: On Four Partial Ordering Semantics for a Process Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: Three of the rewriting systems used by Degano, De Nicola and Montanari to provide Milner's CCS with a causality based semantics are compared by using also a fourth intermediate one. These rewriting systems have been used to associate Petri nets, Labelled Event Structures and structured sets of partial orderings to CCS terms. It is proved that the four rewriting systems yield computations from which the same causality relations among the executed actions can be extracted, thus it is established that the four partial ordering transitional semantics do coincide.
date: 1996
date_type: published
publication: Fundamenta Informaticae
volume: 27
number: 4
pagerange: 349-383
id_number: 10.3233/FI-1996-27402
refereed: TRUE
issn: 1875-8681
official_url: http://iospress.metapress.com/content/D6134260XM4L17Q4
citation:   Corradini, Flavio and De Nicola, Rocco  On Four Partial Ordering Semantics for a Process Calculus.  Fundamenta Informaticae, 27 (4).  pp. 349-383.  ISSN 1875-8681      (1996)