Skip to main content

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

A.I. Enikeev‚ C.A.R. Hoare and A. Teruel

Journal
Mathematica
Note
In Russian; ECS[109]
Publisher
Kazan University Press
Volume
3
Year
1987