Anne Kersten Kauer

According to our database, Anne Kersten Kauer authored at least 3 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2012

LTS Semantics for Compensation-Based Processes.

Roberto Bruni, Anne Kersten Kauer

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

First-Order Dynamic Logic for Compensable Processes.

Roberto Bruni, Carla Ferreira, Anne Kersten Kauer

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2010

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.

Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010