1. [1] T. Zenmyo, T. Kobayashi, and M. Saeki, “Supporting application framework selection based on labeled transition systems,” IEICE Trans. Inf. & Syst., vol.E89-D, no.4, pp.1378-1389, April 2006.
2. [2] R. Milner, Communication and Concurrency, Prentice Hall, 1989.
3. [3] “Apache struts.” http://struts.apache.org/
4. [4] J. Magee and J. Kramer, Concurrency, State Models & Java Programs, Wiley, 1999.
5. [5] “Jpetstore.” http://ibatis.apache.org/