Synthesis of distributed agreement-based systems with efficiently-decidable verification

DOI10.1007/978-3-031-30820-8_19zbMath1547.68432MaRDI QIDQ6536135

Nouraldin Jaber, Swen Jacobs, Roopsha Samanta, Christopher L. Wagner, Milind Kulkarni

Publication date: 5 April 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Synthesis of distributed agreement-based systems with efficiently-decidable verification