Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems

Bibliographic Details
Main Authors: Enikeev, A, Hoare, C, Teruel, A
Format: Journal article
Published: 1987