XML

COPS

Mar 2006 — Dec 2008. COPS (_Composition des politiques et des services_ / Composition of Services and Policies) is an ANR funded project studying formal methods for Service Oriented Applications.

TraLaLa

Nov 2004 — Feb 2008. TraLaLA, XML Transformation Languages: logic and applications, is a project funded by ACI MASSES DE DONNÉES. The objectives of the project is to study the processing, querying and manipulation of _data-masses_ (large amounts of data) available in XML format.

A Concurrent Calculus with Atomic Transactions

The _Software Transactional Memory_ (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mechanisms. A key feature of STM is to provide a way …

A Typed Calculus for Querying Distributed XML Documents

We study the problems related to querying large, distributed XML documents. Our proposal takes the form of a new process calculus in which XML data are processes that can be queried by means of concurrent pattern-matching …

A Concurrent Calculus with Atomic Transactions

The _Software Transactional Memory_ (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mechanisms. A key feature of STM is to provide a way …