nuscr
Results
1
repositories owned by
nuscr
nuscr
25
Stars
12
Forks
Watchers
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.