TY  - JOUR
N1  - ACM id. 242290
AV  - none
SN  - 0360-0300
ID  - eprints359
TI  - Concurrency: Theory and Practice
N2  - 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. 
A1  - De Nicola, Rocco
A1  - Smolka, Scott A.
UR  - http://doi.acm.org/10.1145/242224.242290
JF  - ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Y1  - 1996///
VL  - 28
PB  - ACM
IS  - 4es
KW  - Abstraction
KW  -  behavioral relations
KW  -  concurrency theory
KW  -  concurrent systems
KW  -  interleaving
KW  -  observations
KW  -  true concurrency
KW  -  Languages
KW  -  Theory
KW  -  Verification 
ER  -