Browsing Computer Science by Author "HENNESSY, MATTHEW"

Now showing items 1-3 of 3

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

    • First-Order Reasoning for Higher-Order Concurrency. 

      HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS (2012)
      We present a practical first-order theory of a higher-order pi-calculus which is both sound and complete with respect to a standard semantic equivalence. The theory is a product of combining and simplifying two of the most ...

    • Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract) 

      KOUTAVAS, VASILEIOS; HENNESSY, MATTHEW (2013)
      We study the behavioural theory of a higher-order distributed calculus with private names and locations that can be passivated. For this language, we present a novel Labelled Transition System where higher-order inputs are ...