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