David Harel, Hillel Kugler. Synthesizing State-Based Object Systems from LSC Specifications. In Sheng Yu, Andrei Paun, editors, Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Volume 2088 of Lecture Notes in Computer Science, pages 1-33, Springer, 2000. [doi]
No reviews for this publication, yet.