✦ LIBER ✦

Distributed synthesis for regular and contextfree specifications

✍ Scribed by Fridman, Wladimir; Puchala, Bernd

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated assume-guarantee reasoning for

✍ Sagar Chaki; Arie Gurfinkel 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 399 KB

Regular Synthesis and Sufficiency Condit

✍ Piccoli, Benedetto; Sussmann, Héctor J. 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 512 KB

Local regularity for distributivep-algeb

✍ Hans Dobbertin; Gerhard Wilke 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 163 KB

A distribution invariant for association

✍ Thomas Bier 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 291 KB

A domain-specific language for regular s

✍ Klarlund, N.; Schwartzbach, M.I. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 205 KB

The specification of edge penalties for

✍ Silverman, B.W.; Jennison, C.; Stander, J.; Brown, T.C. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 879 KB