Web Directory

    Top: Computers: Parallel_Computing: Vendors:

 

PSP group at UT Austin

  Link Details for: PSP group at UT Austin
Link Title: PSP group at UT Austin Open in a new window
Link URL: http://www.cs.utexas.edu/users/psp/welcome.html
Link Details: PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.
Category: Top : Computers : Parallel_Computing : Vendors
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
PSP group at UT Austin