Formal description of processes - the first step in design automation

Adin D. Falkoff. Formal description of processes - the first step in design automation. In Proceedings of the SHARE design automation project, DAC '65, Atlantic City, NJ, USA, June 23-25, 1965. ACM, 1965. [doi]

Abstract

Abstract is missing.