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
A.I. Enikeev‚ C.A.R. Hoare and A. Teruel