CSP as a Coordination Language

From verified model to executable program: the PAT approach

“…In [16,17] the author proposed an approach which assigns the user-defined functions to CSP events. Different from other approaches, it uses explicit simulator to manage the concurrent model.…”