An approach to multi-paradigm controller synthesis from timing diagram specifications

CIRCAL and the representation of communication, concurrency, and time

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174

Communication and concurrency

Communication and concurrency

What's in a timing discipline? Considerations in the specification and synthesis of systems with interacting asynchronous and synchronous components

Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects

Synthesis of concurrent modular controllers from algorithmic descriptions

DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference

Bus Protocol Conversion: from Timing Diagrams to State Machines

EUROCAST '91 Proceedings of the A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory