Bloom
Wednesday, April 27, 2011
10:41 AM
Bloom
A language framework for disorderly programming in clouds. Based upon 
temporal logic,
eventual consistency, and 
logical monotonicity. 