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 ]]> Improved concurrent Java processes https://vital.seals.ac.za/vital/access/manager/Repository/vital:45198 Wed 04 May 2022 09:01:50 SAST ]]>