All Categories → No Category → protocol-specification

Top 3 protocol-specification open source projects

nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
1-3 of 3 protocol-specification projects