Distributed Synthesis for Regular and Contextfree Specifications

DOI10.1007/978-3-642-22993-0_48zbMath1343.68031OpenAlexW1682025808MaRDI QIDQ3088069

Wladimir Fridman, Bernd Puchala

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_48

Mathematics Subject Classification ID

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

Related Items (1)

Distributed synthesis for regular and contextfree specifications

This page was built for publication: Distributed Synthesis for Regular and Contextfree Specifications