An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.

Communicating Sequential Processes in Lua

Communicating Sequential Processes in JavaScript

Language agnostic PARCS implementation based on Docker Swarm

Control Structures and Paradigms in Java on the JVM

An open-source refinement checker for CSP

A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.

An open-source refinement checker for CSP

Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework

Super simple CSP channels for JavaScript (like Clojure core.async or Go channels)

Mucking around with @paybase/csp and @paybase/pool