Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax).

Adrian Francalanza, Gerard Tabone, Frank Pfenning

Browse the full Coordination paper archive.