Sort by: Order: Results:

Now showing items 1-1 of 1

  • Bisimulations for Communicating Transactions (Extended Abstract) 

    HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS; Spaccasassi, Carlo (Springer Berlin Heidelberg, 2014)
    We develop a theory of bisimulations for a simple language containing communicating transactions, obtained by dropping the isolation requirement of standard transactions. Such constructs have emerged as a useful programming ...