deadlock detection

README

GoPi

The GoPi compiler transforms high level processes featuring linear and secret channels in executable Go programs.