| |
Formally-based tools and techniques for human-computer dialogues
Alexander H., Halsted Press, New York, NY, 1987. Type: Book (9789780470209967)
This book describes a restricted implementation of theoretical CSP in which events are associated with attributes in much the way that Backus-Naur Form (BNF) rules have actions in YACC. It is used for the specification and prototyping ...
|
Aug 1 1988 |
