Communication-closed asynchronous protocols
From MaRDI portal
Publication:6194954
DOI10.1007/978-3-030-25543-5_20MaRDI QIDQ6194954
Andrei Damian, Alexandru Militaru, Cezara Dragoi, Josef Widder
Publication date: 16 February 2024
Published in: Computer Aided Verification (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)
Related Items (3)
Eliminating message counters in synchronous threshold automata ⋮ A reduction theorem for randomized distributed algorithms under weak adversaries ⋮ Characterizing Consensus in the Heard-Of Model
This page was built for publication: Communication-closed asynchronous protocols
