Communicating Process Architectures 2011

Authors :: F.R.M. Barnes, J.F. Broenink, J. Kerridge, J.B. Pedersen, A.T. Sampson, P.H. Welch
F.R.M. Barnes, J.F. Broenink, J. Kerridge, J.B. Pedersen, A.T. Sampson, P.H. Welch
Publication Year :: 2011
Abstract: This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research