CSP||B - a combined approach to rigorous development

CSP\|\|B		A combined approach to specification and development
Overview People Publications Supporting Materials Software Collaborations Upcoming Events		We will be presenting an example of the CSP\|\|B framework for hardware/software co-design at Communicating Process Architectures 2007 in July, 2007. Our work on applying the Pi calculus and B will be presented at IFM 2007 in Oxford. We are currently working on migrating these ideas to CSP\|\|B.

Hosted by Computing @ Surrey

This page is maintained by Helen Treharne.