What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract data types abstraction access protocols activation conditions algorithm application Arpanet asynchronous response mode Boch buffer C.A.R. Hoare channels classes of procedures clock codes Comm communication protocols communication subsystem Computer Networks computer systems Concurrent Pascal considered data base Data Communications data networks data packet data transmission Datapac deadlock described distantly initiated action distributed systems enabling predicate end-to-end error detecting code error detection example exchange execution finite flow control formalized specification frame functions G.V. Bochmann given hardware HDLC HDLC procedures host computer IEEE implementation interaction interface interworking link-set-up mecanism module monitor multiplexing network access operating system Petri nets possible primary Proc processors programming language protocol layers received resource retransmission SARM secondary station sender sequence number shown in figure structure switched synchronization terminals time-out tion trans transition diagram transmission errors transmission service usually variables verification virtual circuits