ACM Computing Surveys 28A(4), December 1996, http://www.acm.org/surveys/1996/DeNicolaPractice/. Copyright © 1996 by the Association for Computing Machinery, Inc. See the permissions statement below.
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.Categories and Subject Descriptors: C.2.2 [COMPUTER-COMMUNICATION NETWORKS]: Network Protocols - Protocol Verification; D.1.3 [PROGRAMMING TECHNIQUES]: Concurrent Programming; D.2.4 [SOFTWARE ENGINEERING]: Program Verification; F.1.2 [COMPUTATION BY ABSTRACT DEVICES]: Modes of Computation - Parallelism and Concurrency; F.3.1 [LOGICS AND MEANINGS OF PROGRAMS]: Specifying and Verifying and Reasoning about Programs; F.3.2 [LOGICS AND MEANINGS OF PROGRAMS]: Semantics of Programming Languages
General Terms: Languages, Theory, Verification
Additional Key Words and Phrases: Abstraction, behavioral relations, concurrency theory, concurrent systems, interleaving, observations, true concurrency
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.