Login / Signup
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.
Jesko Hecking-Harbusch
Niklas O. Metzger
Published in:
CoRR (2020)
Keyphrases
</>
distributed systems
distributed environment
fault tolerant
load balancing
fault tolerance
message passing
mobile agents
geographically distributed
distributed database systems
real time systems
security policies
deadlock detection
databases
operating system
concurrent systems
distributed hash table