×

Found 4 Documents (Results 1–4)

Synthesis of safe message-passing systems. (English) Zbl 1135.68497

Arvind, V. (ed.) et al., FSTTCS 2007: Foundations of software technology and theoretical computer science. 27th international conference, New Delhi, India, December 12–14, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77049-7/pbk). Lecture Notes in Computer Science 4855, 277-289 (2007).
MSC:  68Q85 68M12
PDFBibTeX XMLCite
Full Text: DOI

The synthesis problem of netcharts. (English) Zbl 1234.68285

Donatelli, Susanna (ed.) et al., Petri nets and other models of concurrency – ICATPN 2006. 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku, Finland, June 26–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-34699-9/pbk). Lecture Notes in Computer Science 4024, 84-104 (2006).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Unfolding synthesis of asynchronous automata. (English) Zbl 1185.68380

Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 46-57 (2006).
MSC:  68Q45 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field