Topic: communicating-sequential-processes Goto Github
Some thing interesting about communicating-sequential-processes
Some thing interesting about communicating-sequential-processes
communicating-sequential-processes,examples, usecases of go concurrency
User: akarshippili
communicating-sequential-processes,
User: akarshippili
communicating-sequential-processes,
User: aturanix
communicating-sequential-processes,A Runtime Verification toolchain that uses a CSP model as its oracle, checked by FDR.
Organization: autonomy-and-verification
communicating-sequential-processes,Control Structures and Paradigms in Java on the JVM
User: cs224
communicating-sequential-processes,Mucking around with @paybase/csp and @paybase/pool
User: dydx
communicating-sequential-processes,An open-source refinement checker for CSP
Organization: hst
Home Page: http://dcreager.net/2016/11/hst-intro/
communicating-sequential-processes,An open-source refinement checker for CSP
Organization: hst
Home Page: http://dcreager.net/hst/intro/
communicating-sequential-processes,Communicating Sequential Processes in JavaScript
User: jfet97
communicating-sequential-processes,Language agnostic PARCS implementation based on Docker Swarm
User: lionell
communicating-sequential-processes,Communicating Sequential Processes in Lua
User: loyso
communicating-sequential-processes,A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/
User: mrft
Home Page: https://mrft.github.io/itr8/
communicating-sequential-processes,Hardware-assisted asynchronous micro-RTOS
User: romanf-dev
communicating-sequential-processes,Hardware-assisted asynchronous micro-RTOS in Rust
User: romanf-dev
communicating-sequential-processes,Several implementations of solutions for "Dining Philosophers" problem built by using Actor and CSP models on top of SObjectizer framework
Organization: stiffstream
communicating-sequential-processes,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.
Organization: stiffstream
Home Page: https://stiffstream.com/en/products/sobjectizer.html
communicating-sequential-processes,Communicating sequential processes
User: tuberboy
Home Page: https://en.wikipedia.org/wiki/Communicating_sequential_processes
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.