Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components.

P. A. Subrahmanyam

Browse the full ICCD paper archive.