On Communicating Finite-State Machines
- Daniel Brand
- Pitro Zafiropulo
- 1983
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
38 results for Daniel Brand
Redundancy and Don't Cares in Logic Synthesis
- Daniel Brand
- 1983
- IEEE TC
Verification of HDLC
- Daniel Brand
- William H. Joyner
- 1982
- IEEE Transactions on Communications
Towards Analyzing and Synthesizing Protocols
- P. Pitrozafiropulo
- Colin H. West
- et al.
- 1980
- IEEE Transactions on Communications
Symbolic simulation for correct machine design
- William C. Carter
- William H. Joyner
- et al.
- 1979
- DAC 1979
Path Calculus in Program Verification
- Daniel Brand
- 1978
- Journal of the ACM
A note on data abstractions
- D. Brand
- 1978
- ACM SIGPLAN Notices
Verification of protocols using symbolic execution
- Daniel Brand
- William H Joyner Jr.
- 1978
- Computer Networks