Library
search
local_library
Repository
EM
Erdal Mutlu
View Pure Profile
Authored
2 records found
Towards verifying eventually consistent applications
Conference paper -
Burcu Kulahcioglu Ozkan
,
Erdal Mutlu
,
Serdar Tasiran
Consistency-Aware Scheduling for Weakly Consistent Programs
Journal article -
Maryam Dabaghchian
,
Zvonimir Rakamaric
,
Burcu Kulahcioglu Ozkan
,
Erdal Mutlu
,
Serdar Tasiran