Browsing Computer Science (Scholarly Publications) 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 ...