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
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;
Conference_Titel :
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1993.332460
