http://ctp.di.fct.unl.pt/~mgiunti/demo.mp4
The GoPi compiler transforms high level processes featuring linear and secret channels in executable Go programs.
