eprintid: 383
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/83
datestamp: 2011-05-31 10:06:10
lastmod: 2011-07-11 14:36:27
status_changed: 2011-05-31 10:06:10
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Degano, Pierpaolo
creators_name: De Nicola, Rocco
creators_name: Montanari, Ugo
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Partial orderings descriptions and observations of nondeterministic concurrent processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Semantics of Programming Languages - Communicating Processes - Observational Equivalence - Concurrency - Nondeterminism - CCS - LES
abstract: A methodology is introduced for defining truly concurrent semantics of processes as equivalence classes of Labelled Event Structures (LES). The construction of a les providing the operational semantics of systems consists of three main steps. First, systems are decomposed into sets of sequential processes and a set of rewriting rules is introduced which describe both the actions sequential processes may perform and their causal relation. Then, the rewriting rules are used to build an occurrence net. Finally, the required event structure is easily derived from the occurrence net. As a test case, a partial ordering operational semantics is introduced first for a subset of Milner's CCS and then for the whole calculus. The proposed semantics are consistent with the original interleaving semantics of the calculus and are able to capture all and only the parallelism present in its multiset semantics. In order to obtain more abstract semantic definitions, new notions of observational equivalence on Labelled Event Structures are introduced that preserve both concurrency and nondeterminism.
date: 1988
date_type: published
series: Lecture Notes in Computer Science
volume: 354
publisher: Springer
pagerange: 438-466
id_number: 10.1007/BFb0013030
refereed: TRUE
isbn: 3-540-51080-X
book_title: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988)
editors_name: W. de Bakker, J.
editors_name: P. de Roever, Willem
editors_name: Rozenberg, Grzegorz
official_url: http://dx.doi.org/10.1007/BFb0013030
citation:   Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo  Partial orderings descriptions and observations of nondeterministic concurrent processes.   In:  Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988).   Lecture Notes in Computer Science, 354 .  Springer, pp. 438-466.  ISBN 3-540-51080-X      (1988)