Web Links [Tag : Austin]
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.
Date Added: Jun 24, 2009 Hits: Rating: 0.00 Votes: 0
Category:
Random Site Quote:
This is the home page for the PSP group in the
. 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. The group is supervised
developed the theories we work on. The research areas are:
waiting for hand_moderation
waiting for hand_moderation
Date Added: Jun 24, 2009 Hits: Rating: 0.00 Votes: 0
Member Reviews
Visitor Ratings 
Google PR Main Category
Pagerank Statistics
Directory Statistics
Links: 406
Categories: 31
Yahoo! News
Top 10
