Message Chains for Distributed System Verification.

Federico Mora Ankush Desai Elizabeth Polgreen Sanjit A. Seshia

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

distributed systems
concurrent systems
fault tolerant
distributed environment
email
load balancing
high assurance

model checking
fault tolerance
distributed computing
message passing
software architecture
mobile agents

loosely coupled
geographically distributed
operating system
distributed database systems
mobile computing
data replication

data availability
temporal logic
replicated data
description logics
response time
database