Generating type systems for process graphs (1999)

by Barbara Konig
Venue:In Proc. of CONCUR '99