A Formalism for Distributed Transactional Memory Models

Participant: Konrad Siek

Home Institution: 
Poznan University of Technology 

Home Country: Poland

Host: Prof. Rachid Guerraoui

Host Institution: Ecole Polytechnique Federale de Lausanne 
 
Host Country: Switzerland

Start Date:
 2014-09-07   

End Date: 2014-09-14

Description: 
The goal of this STSM is to look into the properties of TM systems and attempt to develop a formal and comprehensive taxonomy that could be used as a tool for their classification.

Report: here