Browsing Administrative Staff Authors by Author "KOUTAVAS, VASILEIOS"

Now showing items 1-2 of 2

    • Communicating Transactions 

      DE VRIES, EDSKO; HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS (Springer, 2010)
      We propose a novel language construct called communicating transactions, obtained by dropping the isolation requirement from classical transactions, which can be used to model automatic error re- covery in distributed ...

    • Liveness of Communicating Transactions (Extended Abstract) 

      DE VRIES, EDSKO; HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS (2010)
      We study liveness and safety in the context of CCS extended with communicating transactions, a construct we recently proposed to model automatic error recovery in distributed systems. We show that fair-testing and ...