Total Publications: 30

  • A formal approach to long running transactions
    Cátia Vaz, Instituto Superior Técnico, Universidade de Lisboa, Thesis, September 2010