Search
 
loader loading subjects...
cover
A Model for Concurrency Using Single-Writer Single-Assignment Variables
Matthew Huntbach
255 - 272
10.3233/978-1-60750-774-1-255
Concurrent Systems Engineering Series
Volume 68: Communicating Process Architectures 2011
Abstract

This paper describes 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.

$35.00 / €27.50 / £22.00
Add PDF to cart