communicating-sequential-processes
There are 22 repositories under communicating-sequential-processes topic.
Stiffstream/sobjectizer
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.
vladopajic/go-actor
A lightweight library for writing concurrent programs in Go using the Actor model.
loyso/LuaCSP
Communicating Sequential Processes in Lua
jfet97/csp
Communicating Sequential Processes in JavaScript
romanf-dev/magnesium
Hardware-assisted asynchronous micro-RTOS
lionell/parcs
Language agnostic PARCS implementation based on Docker Swarm
thi-ng/cspvm
Experimental, polyglot, work-in-progress stack VM implementations around native cooperative multitasking and CSP channels to communicate and synchronize between tasks.
cs224/dev-meetup-control-structures
Control Structures and Paradigms in Java on the JVM
hst/hst-c
An open-source refinement checker for CSP
mrft/itr8
A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/
dydx/mucking-with-csp
Mucking around with @paybase/csp and @paybase/pool
mtumilowicz/go-concurrency-goroutine-workshop
Introduction into CSP based concurrency on the example of golang goroutines.
Stiffstream/so5-dining-philosophers
Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
tuberboy/csp
Communicating sequential processes
autonomy-and-verification/varanus
A Runtime Verification toolchain that uses a CSP model as its oracle.
hst/hst-cpp
An open-source refinement checker for CSP
JayLCypher/RIOT-CSP-MODULE
A RIOT OS Module for GO-like inspired CSP style programming. For more information, check out RIOT OS.
romanf-dev/magnesium-rs
Hardware-assisted asynchronous micro-RTOS in Rust
akarshippili/go-concurrency
examples, usecases of go concurrency
limitedeternity/channel4
Super simple CSP channels for JavaScript (like Clojure core.async or Go channels)