A language to reason about long duration transactions and their concurrent execution. Baral, C. and Loboy, J.
bibtex   
@article{barallanguage,
  title={A language to reason about long duration transactions and their concurrent execution},
  author={Baral, Chitta and Loboy, Jorge}
}
Downloads: 0