Bus protocol conversion: From timing diagrams to state machines

This publication has 7 references indexed in Scilit:

• Automatic production of controller specifications from control and timing behavioral descriptions
  Published by Association for Computing Machinery (ACM) ,1989
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988
• Submodule construction as equation solving in CCS
  Published by Springer Nature ,1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• On the Construction of Submodule Specifications and Communication Protocols
  ACM Transactions on Programming Languages and Systems, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980