eprintid: 391
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/91
datestamp: 2011-05-24 14:28:46
lastmod: 2011-07-11 14:36:27
status_changed: 2011-05-24 14:28:46
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: This paper is a revised and expanded version of a paper presented at the International Conference on “Foundations of Computation Theory,” held in Borgholm, Sweden, August 21–27, 1983.
abstract: In C. A. R. Hoare, S. D. Brookes, and A. D. Roscoe (1984, J. Assoc. Comput. Mach. 31(3), 560) an abstract version of Hoare's CSP is defined and a denotational semantics based on the possible failures of processes is given for it. This semantics induces a natural preorder on processes. We define formally this preorder and prove that it can be characterized as the smallest relation satisfying a particular set of axioms. The characterization sheds lights on problems arising from the way divergence and underspecification are handled. After small changes to the semantic domains we propose a new semantics which is closer to the operational intuitions and suggests a possible solution to the above problems. Finally we give an axiomatic characterization for the equivalence induced by the new semantics which leads to fully abstract models in the sense of Scott.
date: 1985
date_type: published
publication: Information and Control
volume: 64
number: 1-3
publisher: Elsevier
pagerange: 136-172
id_number: 10.1016/S0019-9958(85)80048-6
refereed: TRUE
issn: 0019-9958
official_url: http://www.sciencedirect.com/science/article/pii/S0019995885800486
citation:   De Nicola, Rocco  Two Complete Axiom Systems for a Theory of Communicating Sequential Processes.  Information and Control, 64 (1-3).  pp. 136-172.  ISSN 0019-9958      (1985)