Groote J.F. Basic theorems for parallel processes in timed uCRL / J.F.Groote,J.van Wamel, 1998. - 30 p. - Текст : непосредственный.