De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996)
Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/242224.242290
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.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1145/242224.242290 |
| Additional Information: | ACM id. 242290 |
| Uncontrolled Keywords: | Abstraction, behavioral relations, concurrency theory, concurrent systems, interleaving, observations, true concurrency, Languages, Theory, Verification |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 14 Jun 2011 12:07 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/359 |
Actions (login required)
 |
Edit Item |
