Models for Data-Flow Sequential Processes (2005)

by M Josephs
Venue:In Proceedings of 25 Years of CSP, volume 3525 of LNCS