@TechReport{Dartmouth:TR86-119,
  author = {Ann Kratzer},
  title = {{Task Queues:  A General Model for the Implementation of Communications Protocols}},
  institution = {Dartmouth College, Computer Science},
  address = {Hanover, NH},
  number = {PCS-TR86-119},
  year = {1986},
  URL = {http://www.cs.dartmouth.edu/reports/TR86-119.pdf},
  abstract = {
    	When any computer communications network is built, its
    communications protocol must always be implemented.  The protocol is
    implementetd on the switching nodes of the network.  The node software
    must respond in real time to events generated external to the
    switching node.  Thus, the software running on a switching node
    constitutes a concurrent program; this complicates the design,
    implementation and testing of the switching node software.  The task
    queue model presented in this paper defines a structure for this
    software that facilitates the design, implementation and testing of
    communications protocols.
  }
}