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]
@inproceedings{HarelK00,
title = {Synthesizing State-Based Object Systems from LSC Specifications},
author = {David Harel and Hillel Kugler},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/2088/20880001.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/HarelK00},
cites = {0},
citedby = {0},
pages = {1-33},
booktitle = {Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
editor = {Sheng Yu and Andrei Paun},
volume = {2088},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42491-1},
}