Transactional CSP Processes. - Gail Cassar; Patrick Abela (CPA, 2007)