Towards type-theoretic semantics for transactional concurrency.

Aleksandar Nanevski Paul Govereau Greg Morrisett

Published in: TLDI (2009)

Keyphrases

transaction processing
logic programming
formal semantics
semantic information
real time
software systems
fault tolerant
data flow
graphical representation
operational semantics
database query languages