Authors: K.Mani Chandy

Citation: K.mani Chandy, Properties of concurrent programs, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 607-619