The universe model: an approach for improving the modularity and reliability of concurrent programs.

Reimer Behrends Kurt Stirewalt The universe model: an approach for improving the modularity and reliability of concurrent programs. 20-29 2000 SIGSOFT FSE http://portal.acm.org/citation.cfm?id=355045.355049 db/conf/sigsoft/fse2000.html#BehrendsS00