@InProceedings{Huntbach11,
  title =        "{A} {M}odel for {C}oncurrency {U}sing {S}ingle-{W}riter {S}ingle-{A}ssignment {V}ariables",
  author=        "Huntbach,  Matthew",
  editor=        "Welch, Peter H. and Sampson,  Adam T. and Pedersen,  Jan Bækgaard and Kerridge,  Jon and Broenink,  Jan F. and Barnes,  Frederick R. M.",
  pages =        "255--272",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn=          "978-1-60750-773-4",
  year=          "2011",
  month=         "jun",
  abstract=      "This is a description of a model for concurrent computation
     based on
single-writer single-assignment variables. The
     description is primarily
graphical, resembling the
     interaction nets formalism. The model embodies
rules in a
     process which may require two or more communications
     from
other processes to respond.  However, these are managed
     by a partial
evaluation response on receiving a single
     communication."
}