Introduction - HACKT CHPSIM Manual
Description: HACKT CHPSIM Manual

Next: Usage, Previous: Top, Up: Top

## 1 Introduction

`chpsim` is a simulator for the CHP (Communicating Hardware Processes) language, which is based on Hoare's CSP (Communicating Sequential Processes) C. A. R. Hoare. Communicating sequential processes. Communications of the ACM. 21(8):666–667, 1978.. To distinguish this implementation from its predecessor, we name this simulator `hacchpsim`. However throughout this document, we use `chpsim` for brevity.