Generating type systems for process graphs (1999)

by Barbara König
Venue:In CONCUR 1999, volume 1664 of LNCS