Publication: Towards verifying eventually consistent applications
| dc.contributor.coauthor | N/A | |
| dc.contributor.department | Department of Computer Engineering | |
| dc.contributor.department | Graduate School of Sciences and Engineering | |
| dc.contributor.kuauthor | Mutlu, Erdal | |
| dc.contributor.kuauthor | Özkan, Burcu Külahcıoğlu | |
| dc.contributor.kuauthor | Taşıran, Serdar | |
| dc.contributor.schoolcollegeinstitute | College of Engineering | |
| dc.contributor.schoolcollegeinstitute | GRADUATE SCHOOL OF SCIENCES AND ENGINEERING | |
| dc.date.accessioned | 2024-11-10T00:09:29Z | |
| dc.date.issued | 2014 | |
| dc.description.indexedby | Scopus | |
| dc.description.openaccess | YES | |
| dc.description.publisherscope | International | |
| dc.description.sponsoredbyTubitakEu | N/A | |
| dc.description.sponsorship | Basho Technologies | |
| dc.description.sponsorship | Rovio Entertainement | |
| dc.description.sponsorship | Trifork A/S | |
| dc.identifier.doi | 10.1145/2596631.2596638 | |
| dc.identifier.scopus | 2-s2.0-84900452371 | |
| dc.identifier.uri | https://doi.org/10.1145/2596631.2596638 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14288/17138 | |
| dc.language.iso | eng | |
| dc.publisher | Association for Computing Machinery | |
| dc.relation.ispartof | Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 | |
| dc.subject | Computer engineering | |
| dc.title | Towards verifying eventually consistent applications | |
| dc.type | Conference Proceeding | |
| dspace.entity.type | Publication | |
| local.contributor.kuauthor | Özkan, Burcu Külahcıoğlu | |
| local.contributor.kuauthor | Mutlu, Erdal | |
| local.contributor.kuauthor | Taşıran, Serdar | |
| local.publication.orgunit1 | GRADUATE SCHOOL OF SCIENCES AND ENGINEERING | |
| local.publication.orgunit1 | College of Engineering | |
| local.publication.orgunit2 | Department of Computer Engineering | |
| local.publication.orgunit2 | Graduate School of Sciences and Engineering | |
| relation.isOrgUnitOfPublication | 89352e43-bf09-4ef4-82f6-6f9d0174ebae | |
| relation.isOrgUnitOfPublication | 3fc31c89-e803-4eb1-af6b-6258bc42c3d8 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 89352e43-bf09-4ef4-82f6-6f9d0174ebae | |
| relation.isParentOrgUnitOfPublication | 8e756b23-2d4a-4ce8-b1b3-62c794a8c164 | |
| relation.isParentOrgUnitOfPublication | 434c9663-2b11-4e66-9399-c863e2ebae43 | |
| relation.isParentOrgUnitOfPublication.latestForDiscovery | 8e756b23-2d4a-4ce8-b1b3-62c794a8c164 |