Personensuche
X
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
1
Strong Linearizability using Primitives with Consensus Numb..:
, In:
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 ,
2
CSSTs: A Dynamic Data Structure for Partial Orders in Concu..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
4
A Pragmatic Approach to Stateful Partial Order Reduction:
, In:
?
6
Computer Aided Verification: 35th International Conference,..
Lecture Notes in Computer Science, 13964
?
7
Computer Aided Verification: 35th International Conference,..
Lecture Notes in Computer Science, 13965
?
Networked Systems; Lecture Notes in Computer Science ,
8
Comparing Causal Convergence Consistency Models:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
9
Quorum Tree Abstractions of Consensus Protocols:
, In:
?
10
Computer Aided Verification: 35th International Conference,..
Lecture Notes in Computer Science, 13966
?
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing ,
11
Blunting an Adversary Against Randomized Concurrent Program..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
12