Publication:
Towards verifying eventually consistent applications

Simple item page
dc.contributor.coauthorN/A
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorMutlu, Erdal
dc.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.date.accessioned2024-11-10T00:09:29Z
dc.date.issued2014
dc.description.abstractBAKILACAK
dc.description.fulltextNo
dc.description.harvestedfromManual
dc.description.indexedbyScopus
dc.description.openaccessYES
dc.description.peerreviewstatusN/A
dc.description.publisherscopeInternational
dc.description.readpublishN/A
dc.description.sponsoredbyTubitakEuN/A
dc.description.sponsorshipBasho Technologies
dc.description.sponsorshipRovio Entertainement
dc.description.sponsorshipTrifork A/S
dc.description.versionN/A
dc.identifier.doi10.1145/2596631.2596638
dc.identifier.embargoN/A
dc.identifier.quartileBakılacak
dc.identifier.scopus2-s2.0-84900452371
dc.identifier.urihttps://doi.org/10.1145/2596631.2596638
dc.identifier.urihttps://hdl.handle.net/20.500.14288/17138
dc.language.isoeng
dc.publisherAssociation for Computing Machinery
dc.relation.affiliationKoç University
dc.relation.collectionKoç University Institutional Repository
dc.relation.ispartofProceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014
dc.relation.openaccessN/A
dc.rightsN/A
dc.subjectComputer engineering
dc.titleTowards verifying eventually consistent applications
dc.typeConference Proceeding
dspace.entity.typePublication
local.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
local.contributor.kuauthorMutlu, Erdal
local.contributor.kuauthorTaşıran, Serdar
relation.isGoalOfPublication33fc53ce-3b0a-4f77-913b-c44bfa9a02a5
relation.isGoalOfPublication.latestForDiscovery33fc53ce-3b0a-4f77-913b-c44bfa9a02a5
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files

Collections

Publications without Fulltext