Synchronization synthesis for network programs

DOI10.1007/978-3-319-63390-9_16MaRDI QIDQ2164231zbMATH OpenOpenAlexFDO

Authors Jedidiah McClurg, Hossein Hojjat, Pavol Černý

Publication date 12 August 2022

Full work available at URL https://doi.org/10.1007/978-3-319-63390-9_16

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 47016
• Abstraction-guided synthesis of synchronization
• Synchronizability for Verification of Asynchronously Communicating Systems
• scientific article; zbMATH DE number 1696509
• Synchronizable nodes in networked systems
• scientific article; zbMATH DE number 871231
• Communication and Synchronization Primitives for Distributed Programs
• Publication:4207588

Cited in

(11)

• Model checking data flows in concurrent network updates
• scientific article; zbMATH DE number 1760113 (Why is no real title available?)
• Automatic synthesis of transiently correct network updates via Petri games
• Towards model checking real-world software-defined networks
• \textit{Renaissance}: a self-stabilizing distributed SDN control plane using in-band communications
• Decentralizing SDN policies
• Kaki: efficient concurrent update synthesis for SDN
• Network-wide configuration synthesis
• Concurrent NetCore: from policies to pipelines
• Kaki: concurrent update synthesis for regular policies via Petri games
• Genesis: synthesizing forwarding tables in multi-tenant networks

This page was built for publication: Synchronization synthesis for network programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2164231)