Publication:
Towards verifying eventually consistent applications

Simple item page
dc.contributor.coauthorN/A
dc.contributor.departmentN/A
dc.contributor.departmentN/A
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
dc.contributor.kuauthorMutlu, Erdal
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.kuprofilePhD Student
dc.contributor.kuprofilePhD Student
dc.contributor.kuprofileFaculty Member
dc.contributor.otherDepartment of Computer Engineering
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.yokidN/A
dc.contributor.yokidN/A
dc.contributor.yokidN/A
dc.date.accessioned2024-11-10T00:09:29Z
dc.date.issued2014
dc.description.abstractN/A
dc.description.indexedbyScopus
dc.description.openaccessYES
dc.description.publisherscopeInternational
dc.description.sponsorshipBasho Technologies
dc.description.sponsorshipRovio Entertainement
dc.description.sponsorshipTrifork A/S
dc.identifier.doi10.1145/2596631.2596638
dc.identifier.linkhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84900452371&doi=10.1145%2f2596631.2596638&partnerID=40&md5=ff2bc2b0fffc86cafb829ad1496b0871
dc.identifier.scopus2-s2.0-84900452371
dc.identifier.urihttp://dx.doi.org/10.1145/2596631.2596638
dc.identifier.urihttps://hdl.handle.net/20.500.14288/17138
dc.keywordsN/A
dc.languageEnglish
dc.publisherAssociation for Computing Machinery
dc.sourceProceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014
dc.subjectComputer engineering
dc.titleTowards verifying eventually consistent applications
dc.typeConference proceeding
dspace.entity.typePublication
local.contributor.authorid0000-0002-7038-165X
local.contributor.authorid0000-0001-7472-3621
local.contributor.authoridN/A
local.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
local.contributor.kuauthorMutlu, Erdal
local.contributor.kuauthorTaşıran, Serdar
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae

Files

Collections

Publications without Fulltext