Baudru, Nicolas; Morin, Rémi 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 \textit{N. Baudru} and \textit{R. Morin}, Lect. Notes Comput. Sci. 4855, 277--289 (2007; Zbl 1135.68497) Full Text: DOI
Baudru, Nicolas; Morin, Rémi 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 \textit{N. Baudru} and \textit{R. Morin}, Lect. Notes Comput. Sci. 4024, 84--104 (2006; Zbl 1234.68285) Full Text: DOI
Baudru, Nicolas; Morin, Rémi 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 \textit{N. Baudru} and \textit{R. Morin}, Lect. Notes Comput. Sci. 3967, 46--57 (2006; Zbl 1185.68380) Full Text: DOI
Baudru, Nicolas; Morin, Rémi The pros and cons of netcharts. (English) Zbl 1099.68063 Gardner, Philippa (ed.) et al., CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22940-X/pbk). Lecture Notes in Computer Science 3170, 99-114 (2004). MSC: 68Q85 68M12 PDFBibTeX XMLCite \textit{N. Baudru} and \textit{R. Morin}, Lect. Notes Comput. Sci. 3170, 99--114 (2004; Zbl 1099.68063) Full Text: DOI