[http://www.flickr.com/photos/massenpunkt/47436435/ http://farm1.static.flickr.com/29/47436435_747cb55015.jpg] Plural is a sound modular typestate checking tool for Java that employs fractional permissions to allow flexible aliasing control. Plural supports atomic blocks to check concurrent prog...

Tazio is a distributed software transactional memory implementation. It is built to offer a good degree of high reliability and fault tolerance, and it uses active replication to achieve them. Please go through the *Wiki* section to explore some of the ideas behind tazio. (You could start for ex...

Multiverse is a Java 1.6+ based Software Transactional Memory (STM) framework that supports seamless integration with the Java language using annotations. === Multiverse and the Java language ==== Multiverse supports multiple programming models. The simplest model for Java code is based on POJ...

=Notice: This is the developers page for more details please go to Deuce Homepage= =[http://www.deucestm.org]= Deuce provides a runtime environment for Java Software Transactional Memory (STM). * Deuce is a powerful open source java support for software transactional memory. * Deu...