Browsing by Author "Spaccasassi, Carlo"

Sort by: Order: Results:

Now showing items 1-2 of 2

  • 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 ...

  • Language support for communicating transactions 

    Spaccasassi, Carlo (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2016)
    In the context of databases, a transaction is a sequence of data operations that are executed atomically and in isolation: either all operations are executed or none is; and their effects are visible to the environment ...