C.H.L.: Syntactic control of concurrency (2006)

by D R Ghica, A S Murawski, Ong
Venue:Theor. Comput. Sci