scientific article; zbMATH DE number 6774222

DOI10.4230/LIPIcs.CONCUR.2015.340zbMath1374.68725MaRDI QIDQ5357714

C. Aiswarya, Paul Gastin, Benedikt Bollig

Publication date: 12 September 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationdistributed algorithmsleader election

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items

An automata-theoretic approach to the verification of distributed algorithms