Concepedia
Theoretical Computer Science · 1983 · 33 citations · 17 references
Logical AutomatonEngineeringVerificationConcurrency TheoryFormal MethodsParallel ProgrammingComputer ScienceConcurrent SystemFormal Verification
17
Algebraic Structure Theory of Sequential Machines
Eric G. Wagner, Juris Hartmanis, Richard E. Stearns · Mathematics of Computation · 1968 · 526 citations
Computational Model Theory, Sequential Machines, Algebraic Structure +1
Algebraic structure theory of sequential machines
John E. Hopcroft · Journal of the Franklin Institute · 1967 · 380 citations
Progress in cybernetics and systems research
European Journal of Operational Research · 1979 · 222 citations
Engineering, Cyber Monitoring, Automation +5
PETRI NET LANGUAGE
M. Hack · 1976 · 213 citations
Petri Net, Engineering, Pushdown Automaton +18
Towards a Theory of Universal Speed-Independent Modules
Robert Keller · IEEE Transactions on Computers · 1974 · 95 citations
Engineering, Commutative Algebra, Universal Speed-independent Modules +19