<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Concurrency: Theory and Practice"^^ . "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. "^^ . "1996" . "28" . "4es" . . "ACM"^^ . . . "ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research"^^ . . . "03600300" . . . . . . . . . . "Scott A."^^ . "Smolka"^^ . "Scott A. Smolka"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #359 \n\nConcurrency: Theory and Practice\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .