https://vital.seals.ac.za/vital/access/manager/Index ${session.getAttribute("locale")} 5 A development method for deriving reusable concurrent programs from verified CSP models https://vital.seals.ac.za/vital/access/manager/Repository/vital:30035 Wed 12 May 2021 22:23:52 SAST ]]> An investigation of the XMOS XSl architecture as a platform for development of audio control standards https://vital.seals.ac.za/vital/access/manager/Repository/vital:4694 Wed 12 May 2021 20:29:26 SAST ]]>