scientific article

zbMath0962.68107MaRDI QIDQ2703710

Alberto Verdejo, Narciso Martí-Oliet, Isabel Pita

Publication date: 7 May 2001

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

zbMATH Keywords

leader election protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Rewriting logic: Roadmap and bibliography

Uses Software

• Maude

This page was built for publication: