DMCA

An Implementation of Session Types (2004)

by Matthias Neubauer , Peter Thiemann
Venue:In PADL, volume 3057 of LNCS
Citations:34 - 0 self