db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%T A Model for Concurrency Using Single\-Writer Single\-Assignment Variables
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Matthew Huntbach
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%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.