The Concurrency Externalization of Java Server Programs/TITLE> <META NAME="description" CONTENT="The PRISM concern investigation environment"> <META NAME="keywords" CONTENT="prism"> <META NAME="resource-type" CONTENT="document"> <META NAME="distribution" CONTENT="global"> <META NAME="Generator" CONTENT="LaTeX2HTML v2002-2"> <META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">  <link href="../mm_health_nutr.css" rel="stylesheet" type="text/css"> <style type="text/css">  </style> </HEAD> <BODY bg="#F4FFE4"> <BR><BR>  <P> <table><tr><td> <span lang="en-us"> <img border="0" src="conclib.jpg" width="200" height="120"> </span></td><td><span> <H1 ALIGN="CENTER">The Concurrency Externalization of Java Server Programs</H1></span></td></tr></table> <P> <p><font face="SuperFrench"><img src="../images/bar12.gif" width="450" height="4"></font></p> <H1><A NAME="SECTION00010000000000000000"> Release</A> </H1> We release the concurrency library together with an example server for research purposes. You can download the copy <a href="conclib.zip">here</a>. <p> Here are some example configurations in the format of AJDT build configuration files: <table border="0"> <tr><td>Name</td><td> </td><td>Configuration</td></tr> <tr><td>Event model</td><td> </td><td><a href="async.ajproperties">async.ajproperties</a></td></tr> <tr><td>Dynamic CSP model</td><td> </td><td><a href="dynacsp.ajproperties">dynacsp.ajproperties</a></td></tr> <tr><td>Pool CSP model</td><td> </td><td><a href="poolcsp.ajproperties">poolcsp.ajproperties</a></td></tr> <tr><td>Hybrid model</td><td> </td><td><a href="hybrid.ajproperties">hybrid.ajproperties</a></td></tr> </table> </BODY> </HTML>