A key aspect when aggregating business processes and web services is to assure
transactional properties of process executions. Since transactions in this context may require …

\Ve describe the design of a transaction facilit y for a language that supports higher-order
functions. tVe factor transactions into four separable features: persistence, undoability …

Traditional transactional memory systems suffer from overly conservative conflict detection,
yielding so-called false conflicts, because they are based on fine-grained, low-level …

Processes are increasingly being used to make complex application logic explicit.
Programming using processes has significant advantages but it poses a difficult problem …

A transaction defines a locus of computation that satisfies important concurrency and failure
properties. These so-called ACID properties provide strong serialization guarantees that …

Session types provide static guarantees that concurrent programs respect communication
protocols. We give a novel account of recursive session types in the context of GV, a small …

Abstract Service-oriented computing is calling for novel computational models and
languages with primitives for client-server interaction, orchestration and unexpected events …

Software transactions have received significant attention as a way to simplify shared-
memory concurrent programming, but insufficient focus has been given to the precise …

We propose a new programming model that supports a compositionality of choreographies.
The key of our approach is the introduction of partial choreographies, which can mix global …

We formally define an abstract executable semantics for the Business Process Execution
Language for Web Services in terms of a distributed ASM. The goal of this work is to support …