search result

Cover von Intermediate Value Linearizability

Intermediate Value Linearizability

A Quantitative Correctness Criterion
Year: 2020
Media group: LIPIcs
Cover von ACE

ACE

Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication
Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0