Control of Modular and Distributed Discrete-Event Systems

Jan Komenda, Jan H. van Schuppen. Control of Modular and Distributed Discrete-Event Systems. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Volume 4111 of Lecture Notes in Computer Science, pages 44-63, Springer, 2005. [doi]

Abstract

Abstract is missing.