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 and Simon Castellan |
|---|---|
| License | GPL-3.0-or-later |
| Published | |
| Homepage | https://nuscr.github.io/nuscr/ |
| Issue Tracker | https://github.com/nuscr/nuscr/issues |
| Maintainer | Francisco Ferreira |
| Dependencies |
|
| Source [http] | https://github.com/nuscr/nuscr/releases/download/1.0.0/nuscr-1.0.0.tbz sha256=b2b78b2e7684d65c53d8d3aec7349147b860fc586e37bfcff9126d898e86f4d1 sha512=d39fdacdab56788fbdbeda0d5da6d1279881273e188f4437b182f128785bf547cd7ac91c9fcb60e93676385de4db759c6c3279e2748e717171c3749316102e80 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/nuscr/nuscr.1.0.0/opam |
No package is dependent
