Acta Informatica · 1981 · 19 citations · 3 references
ComputingComputer ScienceMathematicsProgramming LanguagesSyntaxAbstract Syntax TreesData-flow AnalysisFormal LanguagesRecursion TheorySpecification LanguagesRecursionRecursive EnumerabilityRecursively Enumerable Languages
3
Computation: Finite and Infinite Machines.
D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations
Software Descriptions with Flow Expressions
Alan Shaw · IEEE Transactions on Software Engineering · 1978 · 113 citations
Complexity of expressions allowing concurrency
William F. Ogden, William E. Riddle, W. C. Round · 1978 · 37 citations · Full text