nuscrversion
A tool to manipulate and validate Scribble-style multiparty protocols
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory. The toolkit provides means to define global protocols, project to local protocols, convert local protocols to a CFSM representation, and generate OCaml code for protocol implementations.
| Authors | Francisco Ferreira, Fangyi Zhou, Simon Castellan and Benito Echarren |
|---|---|
| License | GPL-3.0-or-later |
| Published | |
| Homepage | https://nuscr.dev/ |
| Issue Tracker | https://github.com/nuscr/nuscr/issues |
| Maintainer | Francisco Ferreira |
| Dependencies |
|
| Source [http] | https://github.com/nuscr/nuscr/releases/download/2.1.0/nuscr-2.1.0.tbz sha256=4798916862412a0ac4721f63b77c243d7d7327c8ff2d18d379eb2f4202d43e4d sha512=8475f03a5e81fbde01fb6ddd90f2c07d8a327d5d71301a8da6e169c5c1c8a8f94f528296b2c2d2be7abfbe10fceee048834926abbf5e739a62274f904a8f0869 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/nuscr/nuscr.2.1.0/opam |
No package is dependent
