S

SePi

A concurrent programming language with linearly refined session types