Synchronization synthesis for network programs

DOI10.1007/978-3-319-63390-9_16zbMath1494.68060OpenAlexW2735148652MaRDI QIDQ2164231

Jedidiah McClurg, Pavol Černý, Hossein Hojjat

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

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

Related Items (1)

Model Checking Data Flows in Concurrent Network Updates

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