Paper Details

%T HCSP: Extending CSP for Codesign and Shared Memory
%A Adrian E. Lawrence
%E Peter H. Welch, André W. P. Bakkers
%B Proceedings of WoTUG\-21: Architectures, Languages and Patterns for Parallel and Distributed Applications
%X HCSP is a variant of CSP adapted to capture the semantics of
   hardware compilation, among other purposes. It extends CSP
   in several ways; it includes priority; events can be
   combined; new synchronization constructors are introduced;
   and state is explicitly modelled. Including state permits
   the treatment of shared memory as well as message passing
   systems. A possible denotational semantics is included here
   ths allowing proper treatment of such systems. Although most
   of these extensions were motivated by the needs of hardware
   compilation, HCSP can be applied more widely including
   software and thus can form the foundation of a codesign
   language. HCSP is an extension of CSPP; familiarity of CSPP
   is assumed here.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.