Communications of the ACM · 1988 · 1.3K citations · 27 references
Directed GraphEngineeringVisual FormalismsNetwork AnalysisTopological NatureGraph DatabaseSemanticsSemantic WebVisual LanguageData ScienceNetwork VisualizationGraph DrawingLanguage StudiesVisual ModelingKnowledge RepresentationDesignComputer ScienceDiagrammatic ReasoningGraph TheoryVisual CommunicationVisual FormalismLinguistics
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and, most notably, the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.
27
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.8K citations