| 
|
Quote: define TCP/IP and Sockets with a host labeled transition system; operational semantics, flat definition, few transition premises, no parallel composition, no internal synchronization
Topic:
communication protocols
Topic:
state machine
Quotation Skeleton
The main part of the [TCP/IP/Socket] specification … is the host labeled transition system, or host … [p. 58] The host LTS is defined in an … The definition is almost entirely flat … First, most rules have no transition premises … Second, there is no parallel composition structure or … needed. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: communication protocols (62 items)
Topic: state machine (67 items)