English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Testing Consensus Implementations Using Communication Closure

Drăgoi, C., Enea, C., Özkan, B. K., Majumdar, R., & Niksic, F. (2020). Testing Consensus Implementations Using Communication Closure. Proceedings of the ACM on Programming Languages, 4(OOPSLA): 210, pp. 1-29. doi:10.1145/3428278.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0008-7016-1 Version Permalink: https://hdl.handle.net/21.11116/0000-0009-15C6-0
Genre: Journal Article

Files

show Files
hide Files
:
3428278.pdf (Publisher version), 426KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0009-15C7-F
Name:
3428278.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
This work is licensed under a Creative Commons Attribution 4.0 International License. © 2020 Copyright held by the owner/author(s). 2475-1421/2020/11-ART210 https://doi.org/10.1145/3428278
License:
-

Locators

show

Creators

show
hide
 Creators:
Drăgoi, Cezara1, Author
Enea, Constantin1, Author
Özkan, Burcu Kulahcioglu2, Author           
Majumdar, Rupak2, Author           
Niksic, Filip2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 20202020
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: DragoiOOPSLA20
DOI: 10.1145/3428278
 Degree: -

Event

show

Legal Case

show

Project information

show hide
Project name : imPACT
Grant ID : 610150
Funding program : Funding Programme 7 (FP7)
Funding organization : European Commission (EC)
Project name : FOVEDIS
Grant ID : 678177
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

Source 1

show
hide
Title: Proceedings of the ACM on Programming Languages
  Other : Programming Languages
  Abbreviation : Proc. ACM Program. Lang.
  Abbreviation : OOPSLA 2020
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: New York, NY : ACM
Pages: - Volume / Issue: 4 (OOPSLA) Sequence Number: 210 Start / End Page: 1 - 29 Identifier: ISSN: 2475-1421
CoNE: https://pure.mpg.de/cone/journals/resource/2475-1421