%0 Journal Article
%@ 0360-0300
%A De Nicola, Rocco
%A Smolka, Scott A.
%D 1996
%F eprints:359
%I ACM
%J ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
%K Abstraction, behavioral relations, concurrency theory, concurrent systems, interleaving, observations, true concurrency, Languages, Theory, Verification 
%N 4es
%P 52
%T Concurrency: Theory and Practice
%U http://eprints.imtlucca.it/359/
%V 28
%X 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. 
%Z ACM id. 242290