B. Vajar, S. Schneider, and H. Treharne, “Mobile CSP||B”, ECEASST, vol. 23, Jan. 2010.