Library
search
local_library
Repository
EC
Ernie Cohen
View Pure Profile
Authored
2 records found
Verification Tools for Transactional Programs
Book chapter -
A. Cristal
,
Burcu Kulahcioglu Ozkan
,
Ernie Cohen
,
Gokcen Kestor
,
Ismail Kuru
,
O. Unsal
,
Serdar Tasiran
,
Suha Orhun Mutluergil
,
Tayfun Elmas
Verifying programs under snapshot isolation and similar relaxed consistency models
Conference paper -
Ismail Kuru
,
Burcu Kulahcioglu Ozkan
,
Suha Orhun Mutluergil
,
Serdar Tasiran
,
Tayfun Elmas
,
Ernie Cohen