Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/nhdaly/cspexamples.jl

C.A.R. Hoare's 1978 paper, "Communicating Sequential Processes", examples in Julia
https://github.com/nhdaly/cspexamples.jl

Last synced: 2 days ago
JSON representation

C.A.R. Hoare's 1978 paper, "Communicating Sequential Processes", examples in Julia

Host: GitHub
URL: https://github.com/nhdaly/cspexamples.jl
Owner: NHDaly
License: mit
Created: 2019-01-24T01:55:31.000Z (almost 6 years ago)
Default Branch: master
Last Pushed: 2020-05-09T01:32:38.000Z (over 4 years ago)
Last Synced: 2024-10-20T09:56:02.061Z (26 days ago)
Language: Julia
Homepage:
Size: 22.5 KB
Stars: 5
Watchers: 4
Forks: 1
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        # CspExamples.jl

[![Build Status](https://travis-ci.org/NHDaly/CspExamples.jl.svg?branch=master)](https://travis-ci.org/NHDaly/CspExamples.jl)

Julia implementations for the Example problems in Hoare's 1978 paper, ["Communicating Sequential Processes"](https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf).

This repo was inspired by https://github.com/thomas11/csp, which does the same thing, but in Golang.

https://discourse.julialang.org/t/csp-examples-in-julia/20011