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.
-
Updated
Mar 22, 2024 - C++
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
Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
Hardware-assisted asynchronous micro-RTOS
examples, usecases of go concurrency
Mucking around with @paybase/csp and @paybase/pool
Communicating sequential processes
Control Structures and Paradigms in Java on the JVM
Hardware-assisted asynchronous micro-RTOS in Rust
An open-source refinement checker for CSP
Language agnostic PARCS implementation based on Docker Swarm
A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/
Communicating Sequential Processes in JavaScript
An open-source refinement checker for CSP
Add a description, image, and links to the communicating-sequential-processes topic page so that developers can more easily learn about it.
To associate your repository with the communicating-sequential-processes topic, visit your repo's landing page and select "manage topics."