ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 2North-Holland, 1988 - 1759 pages |
From inside the book
Results 1-3 of 11
Page 1190
... gate are used to denote the possibilities of 2 or more processes , to interact . However , there is no notion of physical location attached to it . For example the interconnection service specification only uses gate ' g ' for all ...
... gate are used to denote the possibilities of 2 or more processes , to interact . However , there is no notion of physical location attached to it . For example the interconnection service specification only uses gate ' g ' for all ...
Page 1219
... gate can be referenced in both B1 and B2 . This restriction also applies to the B1 ||| B2 construct , which is ... gate , with which to interface with it , and events on this gate have a value which corresponds to the current time . A ...
... gate can be referenced in both B1 and B2 . This restriction also applies to the B1 ||| B2 construct , which is ... gate , with which to interface with it , and events on this gate have a value which corresponds to the current time . A ...
Page 1222
... gate , from a specified list . The syntax of this form of the operator is rep g in [ g , ... , gn ] [ ] c - > B which is equivalent to the LOTOS expression choice g in [ g1 , ... , gn ] [ ] B ' where B ' is generated as above . There is ...
... gate , from a specified list . The syntax of this form of the operator is rep g in [ g , ... , gn ] [ ] c - > B which is equivalent to the LOTOS expression choice g in [ g1 , ... , gn ] [ ] B ' where B ' is generated as above . There is ...
Contents
Client Design for the MULTOS Multimedia Office Filing System | 893 |
Speech Integration in an Office Demonstrator Project | 906 |
Natural Language Dialogue in an Office Environment Project | 917 |
Copyright | |
56 other sections not shown
Common terms and phrases
abstract Abstract Syntax Notation activities algorithm allows analysis application architecture basic block CACTUS CCITT cell CFRV client CNMA COMANDOS communication complex components Computer concept configuration data base database defined definition demonstration described Directory Service distributed document domain dynamic ECMA entities environment ESPRIT Project evaluation FAOR Figure formal FTAM functions gateway graphical hardware identified implementation input integration interaction internal language layer layout logical machine Mailbox manufacturing messages method methodology module node object operating system PANGLOSS performance Petri nets phase planning procedure production protocol query QUIPU requirements robot schema selected semantics server SGML simulation slot specification standard structure subnetwork subsystem task techniques THORN UNIX uptake User Agent User Interface user organisation WLib workcells workstation