@InProceedings{Sampson08,
  title =        "{T}wo-{W}ay {P}rotocols for occam-\π",
  author=        "Sampson,  Adam T.",
  editor=        "Welch, Peter H. and Stepney,  S. and Polack,  F.A.C and Barnes,  Frederick R. M. and McEwan,  Alistair A. and Stiles,  G. S. and Broenink,  Jan F. and Sampson,  Adam T.",
  pages =        "85--97",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn=          "978-1-58603-907-3",
  year=          "2008",
  month=         "sep",
  abstract=      "In the occam-\π programming language, the
     client-server
communication pattern is generally implemented
     using a pair of
unidirectional channels. While each
     channel's protocol can be
specified individually, no
     mechanism is yet provided to indicate the
relationship
     between the two protocols; it is therefore not possible
to
     statically check the safety of client-server communications.
     This
paper proposes two-way protocols for individual
     channels, which
would both define the structure of messages
     and allow the patterns
of communication between processes to
     be specified.We show how
conformance to two-way protocols
     can be statically checked by the
occam-\π compiler
     using Honda's session types. These mechanisms
would
     considerably simplify the implementation of complex,
     dynamic
client-server systems."
}