2nd International Conference on Application of Concurrency to System Design, 2001, Newcastle upon Tyne, UK
| Author/creator | IEEE Computer Society Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Los Alamitos : IEEE Computer Society Press |
| Description | 255 p. ill 11.000 x 08.500 in. |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Subjects |
| Summary | Annotation The proceedings from this June 2001 conference, held at Newcastle upon Tyne, contain 20 papers on semantic correctness testing and model checking, performance analysis, asynchronous communication modeling, action refinement in the verification framework, synthesis of Petri nets, asynchronous hardware design, synchronous programming and embedded systems, software engineering with concurrency models, and automated scheduling. Papers focus on theory, algorithms, and case studies. Contributors hail from Europe, Canada, and Australia. c. Book News Inc. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2001090878 |
| ISBN | 9780769510712 |
| ISBN | 076951071X (Trade Paper) Active Record |
| Standard identifier# | 9780769510712 |
| Stock number | PR1071 00029433 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |