Paper Details

Communicating Process Architectures (CPA)
 Title: Prioritised Choice over Multiway Synchronisation
 Conference: Communicating Process Architectures 2011
 Authors: Douglas N. Warren
School of Computing, University of Kent
 Abstract: Previous algorithms for resolving choice over multiway synchronisations have been incompatible with the notion of priority. This paper discusses some of the problems resulting from this limitation and offers a subtle expansion of the definition of priority to make choice meaningful when multiway events are involved. Presented in this paper is a prototype extension to the JCSP library that enables prioritised choice over multiway synchronisations and which is compatible with existing JCSP Guards. Also discussed are some of the practical applications for this algorithm as well as its comparative performance. 
Files:


BibTeX Entry


Full paper


Presentation