This package is the backport of java.util.concurrent API, introduced in Java 5.0 and further refined in Java 6.0, to older Java platforms. The backport is based on public-domain sources from the JSR 166 CVS repository, the dl.util.concurrent package, and
JMS provides an elegant solution for overcoming the restrictions you face when developing concurrent applications with EJB. Learn how its asynchronous model and its support for the MessageDrivenBean can enable a client to use EJB asynchronously.
D. Hendler, N. Shavit, and L. Yerushalmi. Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, page 206--215. ACM, (2004)
J. Ha, M. Haghighat, S. Cong, and K. McKinley. Workshop on Parallel Execution of Sequential Programs on Multicore Architectures (PESPMA 2009), (June 2009)in conjunction with ISCA 09.
P. Ganty, R. Majumdar, and A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 102--113. New York, NY, USA, ACM, (2009)
A. Pnueli, J. Xu, and L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)
G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, page 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, page 181--192. Washington, DC, USA, IEEE Computer Society, (2008)
P. Wolper, and V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, page 68--80. London, UK, Springer-Verlag, (1990)
K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, page 188--203. London, UK, Springer-Verlag, (2000)
E. Clarke, O. Grumberg, and M. Browne. PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computing, page 240--248. New York, NY, USA, ACM, (1986)
E. Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, page 143--152. New York, NY, USA, ACM, (1998)