A Step towards Merging xUML and CSP || {\| \ }B.

Published in: Rigorous Methods for Software Construction and Analysis (2009)