http://vital.seals.ac.za:8080/vital/access/manager/Index en-us 5 A development method for deriving reusable concurrent programs from verified CSP models http://vital.seals.ac.za:8080/vital/access/manager/Repository/vital:30035 Wed 12 May 2021 22:23:52 SAST ]]> Improved concurrent Java processes http://vital.seals.ac.za:8080/vital/access/manager/Repository/vital:45198 Wed 04 May 2022 09:01:50 SAST ]]>