%I ACM
%K Abstraction, behavioral relations, concurrency theory, concurrent systems, interleaving, observations, true concurrency, Languages, Theory, Verification 
%R 10.1145/242224.242290
%P 52
%L eprints359
%A Rocco De Nicola
%A Scott A. Smolka
%O ACM id. 242290
%N 4es
%V 28
%D 1996
%T Concurrency: Theory and Practice
%J ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
%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.