Posted: 23rd May 2011

Professor of Computer Science, Gavin Lowe will be giving the keynote address at 'Communicating Process Architectures 2011'. This, the 33rd WoTUG conference on concurrent and parallel programming, will take place at the University of Limerick, Ireland, in June. 

In his talk ‘Implementing Generalised Alt’  Gavin will describe the design and implementation of a generalised alt operator for the Communicating Scala Objects library. The alt operator provides a choice between communications on different channels. This generalisation removes previous restrictions on the use of alts that prevented both ends of a channel from being used in an alt. The cost of the generalisation is a much more difficult implementation, but one that still gives very acceptable performance. In order to support the design, and greatly increase confidence in its correctness, he will describe how to build CSP models corresponding to this design, and use the FDR model checker to analyse them.

Further information: http://wotug.org/index.php