Daniel Brand
Daniel Brand.
Path calculus in program verification.
Journal of the ACM
, 25(4):630-651, October 1978.
Daniel Brand and Pitro Zafiropulo.
On communicating finite-state machines.
Journal of the ACM
, 30(2):323-342, April 1983.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database