Greif, I. Semantics of communicating parallel processes. Proj. MAC TR-154, M.I.T., Cambridge, Mass., 1975
(1975)
Languages mentioned
Greif formal specification language
{1975}