Modern concurrency abstractions for C#.

Nick Benton Luca Cardelli Cédric Fournet

Published in: ACM Trans. Program. Lang. Syst. (2004)

Keyphrases

concurrency control
high level
database systems
concurrent execution
dynamic allocation
concurrent programming
nested transactions
object oriented languages
neural network
artificial intelligence
transaction processing
admissible heuristics
qualitative probabilistic networks