| Publication Type |
Journal Article |
| School or College |
College of Engineering |
| Department |
Electrical & Computer Engineering |
| Creator |
Stevens, Kenneth |
| Other Author |
Aldwinckle, John; Birtwistle, Graham; Liu, Ying |
| Title |
Designing parallel specifications in CCS |
| Date |
1993 |
| Description |
We describe a style of specifying concurrent systems based upon the parallel composition operatorof CCS and apply it to several asynchronous hardware examples. |
| Type |
Text |
| Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
| First Page |
983 |
| Last Page |
986 |
| Language |
eng |
| Bibliographic Citation |
Stevens, K. S., Aldwinckle, J., Birtwistle, G., & Liu, Y. (1993). Designing parallel specifications in CCS. Canadian Conference on Electrical and Computer Engineering, 983-6. September. |
| Rights Management |
(c) 1993 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
| Format Medium |
application/pdf |
| Format Extent |
278,481 bytes |
| Identifier |
ir-main,15313 |
| ARK |
ark:/87278/s67378k9 |
| Setname |
ir_uspace |
| ID |
707137 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s67378k9 |
