Kill-safe synchronization abstractions.

Matthew Flatt Robert Bruce Findler

Published in: PLDI (2004)

Keyphrases

high level
databases
music score
machine learning
artificial intelligence
social networks
web services
three dimensional
multiscale
digital libraries
data model
qualitative probabilistic networks