eprintid: 359
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/59
datestamp: 2011-06-14 12:07:35
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-14 12:07:35
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Smolka, Scott A.
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Concurrency: Theory and Practice
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Abstraction, behavioral relations, concurrency theory, concurrent systems, interleaving, observations, true concurrency, Languages, Theory, Verification 
note: ACM id. 242290
abstract: Concurrency theory is concerned with the modeling and verification of concurrent systems, while concurrency practice promulgates the application of concurrency theory to concurrent systems of practical interest. We assert that a strong interplay between concurrency theory and practice is essential for the continued development of both fields. 
date: 1996
date_type: published
publication: ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
volume: 28
number: 4es
publisher: ACM
pagerange: 52
id_number: 10.1145/242224.242290
refereed: TRUE
issn: 0360-0300
official_url: http://doi.acm.org/10.1145/242224.242290
citation:   De Nicola, Rocco and Smolka, Scott A.  Concurrency: Theory and Practice.  ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es).  p. 52.  ISSN 0360-0300      (1996)