UNIVERSITÄTSBIBLIOTHEK

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