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 and Simon Castellan
LicenseGPL-3.0-or-later
Published
Homepagehttps://nuscr.github.io/nuscr/
Issue Trackerhttps://github.com/nuscr/nuscr/issues
MaintainerFrancisco Ferreira
Dependencies
Source [http] https://github.com/nuscr/nuscr/releases/download/1.1.0/nuscr-web-1.1.0.tbz
sha256=c71f537d6eff636e6feee070f348543acefcc7da29f727cabad1fb45944ec8ab
sha512=340005de60705cd64ca580e6a9450c033f032b1ee2e75635cd5d35c0471cd4add2d501c87ad4877ba620ea01b801eb000053d3a21c34019e279c3d2a77aff556
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/nuscr/nuscr.1.1.0/opam
No package is dependent