Sign in

Towards type-theoretic semantics for transactional concurrency.

Aleksandar NanevskiPaul GovereauGreg 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