DocumentCode
2173260
Title
Designing parallel specifications in CCS
Author
Stevens, Ken ; Aldwinckle, John ; Birtwistle, Graham ; Liu, Ying
Author_Institution
Dept. of Comput. Sci., Calgary Univ., Alta., Canada
fYear
1993
fDate
14-17 Sep 1993
Firstpage
983
Abstract
We describe a style of specifying concurrent systems based upon the parallel composition operator of CCS and apply it to several asynchronous hardware examples
Keywords
calculus of communicating systems; formal specification; object-oriented methods; parallel programming; CCS; asynchronous hardware; concurrent system specification; parallel composition operator; parallel specification design; Algebra; Carbon capture and storage; Clocks; Computer displays; Computer science; Equations; Hardware; Object oriented modeling; Synchronization; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-2416-1
Type
conf
DOI
10.1109/CCECE.1993.332460
Filename
332460
Link To Document