package nuscr
A tool to manipulate and validate Scribble-style multiparty protocols
Install
Dune Dependency
Authors
Maintainers
Sources
nuscr-2.1.0.tbz
sha256=4798916862412a0ac4721f63b77c243d7d7327c8ff2d18d379eb2f4202d43e4d
sha512=8475f03a5e81fbde01fb6ddd90f2c07d8a327d5d71301a8da6e169c5c1c8a8f94f528296b2c2d2be7abfbe10fceee048834926abbf5e739a62274f904a8f0869
Description
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.
Published: 19 May 2022
Dependencies (12)
-
process
>= "0.2.1" -
cmdliner
>= "1.1.0" -
ppxlib
>= "0.22.0" -
ocamlgraph
>= "1.8.8" -
ppx_here
>= "v0.12.0" -
ppx_sexp_conv
>= "v0.12.0" -
stdio
>= "v0.12.0" -
base
>= "v0.12.0" & < "v0.17" -
dune
>= "2.8" -
ppx_deriving
>= "5.2" -
menhir
>= "20190924" -
ocaml
>= "4.08"
Used by
None
Conflicts
None
On This Page