Paper Details

@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."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.