An abort-aware model of transactional programming.

Kousha Etessami Patrice Godefroid

Published in: Int. J. Softw. Tools Technol. Transf. (2011)

Keyphrases

probabilistic model
theoretical framework
mathematical model
probability distribution
theoretical analysis
computational model
neural network
similarity measure
management system
social networks
conceptual model
transaction management
transaction model