FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Attiya, Hagit	Preserving Hyperproperties when Using Concurrent Objects
E
Enea, Constantin	Quorum Tree Abstractions of Consensus Protocols
K
Kragl, Bernhard	Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
L
Lahav, Ori	What's Decidable about Causally Consistent Shared Memory?
M
Moses, Yoram	On Direct and Indirect Information in Distributed Protocols
S
Stoilkovska, Ilina	Eliminating Message Counters in Threshold Automata

Disclaimer | Powered by EasyChair Smart Program