communicating-sequential-processes

There are 0 repository 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.
cpp cplusplus cplusplus-17 actor-model actors actor-framework actor-library multithreading concurrency concurrent-programming sobjectizer message-passing pubsub publish-subscribe csp communicating-sequential-processes agents actor thread
Language:C++ 456
loyso / LuaCSP
Communicating Sequential Processes in Lua
lua lua-bindings lua-library communicating-sequential-processes fsm programming-language coroutines fsms game-development gamedev game-logic game-script asynchronous-programming yield game-ai
Language:C 37
jfet97 / csp
Communicating Sequential Processes in JavaScript
csp async await asynchronous communicating-sequential-processes
Language:TypeScript 33
romanf-dev / magnesium
Hardware-assisted asynchronous micro-RTOS
actor-model c cortex-m embedded header-only interrupts message-passing multitasking preemptive-multitasking communicating-sequential-processes csp
Language:C 7
lionell / parcs
Language agnostic PARCS implementation based on Docker Swarm
distributed-computing communicating-sequential-processes language-agnostic docker-swarm
Language:Go 4
cs224 / dev-meetup-control-structures
Control Structures and Paradigms in Java on the JVM
continuations coroutines generators continuation-passing-style flow-based-programming communicating-sequential-processes clojure-core-async complex-event-processing actors functional-reactive-programming reactive-extensions fibers green-threads cooperative-multitasking event-driven-programming thread-based-programming java jvm parallel-universe quasar
Language:Java 2
hst / hst-c
An open-source refinement checker for CSP
csp process-calculus formal-methods communicating-sequential-processes
Language:C 2
mrft / itr8
A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/
asynciterator iterator javascript-library functional-programming javascript transiterator transducers typescript typescript-library communicating-sequential-processes csp
Language:TypeScript 2
dydx / mucking-with-csp
Mucking around with @paybase/csp and @paybase/pool
communicating-sequential-processes javascript
Language:JavaScript 1
Stiffstream / so5-dining-philosophers
Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
communicating-sequential-processes concurrency cplusplus cplusplus-14 sobjectizer
Language:C++ 1
tuberboy / csp
Communicating sequential processes
10x-faster communicating-sequential-processes csp csp-model multithreading parrallel
Language:C 1
autonomy-and-verification / varanus
A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
runtime-monitoring runtime-verification communicating-sequential-processes fdr
Language:Python 0
hst / hst-cpp
An open-source refinement checker for CSP
csp process-calculus formal-methods communicating-sequential-processes
Language:C++ 0
akarshippili / go-concurrency
examples, usecases of go concurrency
channels communicating-sequential-processes csp go-concurrency goroutines heap loadbalancer
Language:Go
akarshippili / order-manager
channels communicating-sequential-processes concurrency goroutines waitgroup
Language:Go
aturanix / webcam-over-socket
communicating-sequential-processes opencv socket thread
Language:C++
limitedeternity / channel4
Super simple CSP channels for JavaScript (like Clojure core.async or Go channels)
channel4 communicating-sequential-processes csp csp-js js library
Language:JavaScript
romanf-dev / magnesium-rs
Hardware-assisted asynchronous micro-RTOS in Rust
actor-model cortex-m embedded interrupts mcu message-passing multitasking preemptive-multitasking rust rust-lang communicating-sequential-processes csp
Language:Rust