%T A Model for Concurrency Using Single\-Writer Single\-Assignment Variables
%A  Matthew Huntbach
%E Peter H. Welch,  Adam T. Sampson,  Jan Bækgaard Pedersen,  Jon Kerridge,  Jan F. Broenink,  Frederick R. M. Barnes
%B Communicating Process Architectures 2011
%X 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.