@article{eprints359,
           title = {Concurrency: Theory and Practice},
            year = {1996},
          volume = {28},
           pages = {52},
          number = {4es},
       publisher = {ACM},
         journal = {ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research},
            note = {ACM id. 242290},
          author = {Rocco De Nicola and Scott A. Smolka},
        keywords = {Abstraction, behavioral relations, concurrency theory, concurrent systems, interleaving, observations, true concurrency, Languages, Theory, Verification },
        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. },
             url = {http://eprints.imtlucca.it/359/}
}