relation: http://eprints.imtlucca.it/359/
title: Concurrency: Theory and Practice
creator: De Nicola, Rocco
creator: Smolka, Scott A.
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: ACM
date: 1996
type: Article
type: PeerReviewed
identifier:   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)  
relation: http://doi.acm.org/10.1145/242224.242290
relation: 10.1145/242224.242290