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.

AuthorsFrancisco Ferreira, Fangyi Zhou, Simon Castellan and Benito Echarren
LicenseGPL-3.0-or-later
Published
Homepagehttps://nuscr.dev/
Issue Trackerhttps://github.com/nuscr/nuscr/issues
MaintainerFrancisco Ferreira
Dependencies
Source [http] https://github.com/nuscr/nuscr/releases/download/2.1.1/nuscr-2.1.1.tbz
sha256=c5a419fd1fdea78fb63b3a3c335b0e6b0f2b08d65b79870565bdcc0f997bc728
sha512=83ef593ed514eeef1b10069af54562833d617d1c338c5adaf82ee5c3ea7ec4569b3643fcbb237b3cb79ce2f579094cbd17217efa5f4e522bd20f67e1df3a7dbd
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/nuscr/nuscr.2.1.1/opam
No package is dependent