Guest editorial – Stabilization safety, and security of distributed systems

Theoretical Computer Science 2026

View at publisher

Authors: Stéphane Devismes, Franck Petit

DOI: 10.1016/j.tcs.2026.115819

Cited by: 0

Fields of Study & Subjects

Distributed systems and fault tolerance Formal Methods in Verification Logic programming and type systems