Dines Bjørner. Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions. In Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa, editors, Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Volume 6570 of Lecture Notes in Computer Science, pages 167-183, Springer, 2011. [doi]
Abstract is missing.