Behavioural Properties and Dynamic Software Update for Concurrent Programs
Citation
Anderson , G A 2011 , ' Behavioural Properties and Dynamic Software Update for Concurrent Programs ' , Paper presented at Grace Hopper Celebration of Women in Computing , Portland, Oregon , United States , 9/11/11 - 12/11/11 . conference