examples, usecases of go concurrency
-
Updated
Oct 25, 2023 - Go
examples, usecases of go concurrency
Hardware-assisted asynchronous micro-RTOS in Rust
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
An open-source refinement checker for CSP
Mucking around with @paybase/csp and @paybase/pool
Communicating sequential processes
Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
Control Structures and Paradigms in Java on the JVM
An open-source refinement checker for CSP
A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/
Language agnostic PARCS implementation based on Docker Swarm
Hardware-assisted asynchronous micro-RTOS
Communicating Sequential Processes in JavaScript
Communicating Sequential Processes in Lua
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.
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."