Send mail to Author

Program Logic for Weak Memory Concurrency (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
             ___       _____   __   __    _____      ___    
    ___     / _ \\    / ___//  \ \\/ //  |__  //    / _ \\  
   /   ||  / //\ \\   \___ \\   \ ` //     / //    | / \ || 
  | [] || |  ___  ||  /    //    | ||     / //__   | \_/ || 
   \__ || |_||  |_|| /____//     |_||    /_____||   \___//  
    -|_|| `-`   `-` `-----`      `-`'    `-----`    `---`   
     `-`                                                    
 


Back to frontdoor view