Synthesizing object systems from LSC specifications. Unpublished draft (1999)

by D Harel, H Kugler
Venue:in Proc. Fifth Int. Conf. on Implementation and Application of Automata (CIAA 2000). July 2000 Lecture Notes in Computer Science