Synthesizing State-Based Object Systems from LSC Specifications.

David Harel Hillel Kugler

Published in: Int. J. Found. Comput. Sci. (2002)

Keyphrases

finite state machines
management system
intelligent systems
knowledge based systems
object tracking
complex objects
asynchronous circuits
database
databases
information retrieval
three dimensional
expert systems
moving objects
distributed systems
deformable objects
similar objects