Checking Correctness of Transactional Behaviors.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Browse the full FORTE paper archive.