eprintid: 394
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/94
datestamp: 2011-06-06 13:51:59
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-06 13:51:59
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: A Complete Set of Axioms for a Theory of Communicating Sequential Processes
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
date: 1983
date_type: published
series: Lecture Notes in Computer Science
volume: 158
publisher: Springer
pagerange: 115-126
id_number: 10.1007/3-540-12689-9_98
refereed: TRUE
isbn: 3-540-12689-9
book_title: Foundations of Computation Theory
editors_name: Karpinski, Marek
official_url: http://dx.doi.org/10.1007/3-540-12689-9_98
citation:   De Nicola, Rocco  A Complete Set of Axioms for a Theory of Communicating Sequential Processes.   In:  Foundations of Computation Theory.   Lecture Notes in Computer Science, 158 .  Springer, pp. 115-126.  ISBN 3-540-12689-9      (1983)