FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

A
abstraction	Quorum Tree Abstractions of Consensus Protocols
C
causality	What's Decidable about Causally Consistent Shared Memory?
concurrency	Preserving Hyperproperties when Using Concurrent Objects On Direct and Indirect Information in Distributed Protocols Quorum Tree Abstractions of Consensus Protocols What's Decidable about Causally Consistent Shared Memory? Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 Eliminating Message Counters in Threshold Automata
consensus	Quorum Tree Abstractions of Consensus Protocols
D
decidability	What's Decidable about Causally Consistent Shared Memory?
distributed algorithms	On Direct and Indirect Information in Distributed Protocols Quorum Tree Abstractions of Consensus Protocols What's Decidable about Causally Consistent Shared Memory? Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 Eliminating Message Counters in Threshold Automata
H
Hyperproperties	Preserving Hyperproperties when Using Concurrent Objects
T
threshold automata	Eliminating Message Counters in Threshold Automata
V
Verification	Preserving Hyperproperties when Using Concurrent Objects On Direct and Indirect Information in Distributed Protocols Quorum Tree Abstractions of Consensus Protocols What's Decidable about Causally Consistent Shared Memory? Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 Eliminating Message Counters in Threshold Automata

Disclaimer | Powered by EasyChair Smart Program