Paper Details

Communicating Process Architectures (CPA)
 Title: A Model for Concurrency Using Single-Writer Single-Assignment Variables
 Conference: Communicating Process Architectures 2011
 Authors: Matthew Huntbach
School of Electronic Engineering and Computer Science, Queen Mary University of London
 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. 
Files:


BibTeX Entry


Full paper


Presentation