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