Hyperdocuments as automata
- 1 December 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 272-281
- https://doi.org/10.1145/168466.171515
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiterIEEE Transactions on Computers, 1989
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Petri-net-based hypertext: document structure with browsing semanticsACM Transactions on Information Systems, 1989
- HAM: a general purpose hypertext abstract machineCommunications of the ACM, 1988
- Reflections on NoteCards: seven issues for the next generation of hypermedia systemsCommunications of the ACM, 1988
- Research on Automatic Verification of Finite-State Concurrent SystemsAnnual Review of Computer Science, 1987
- Multimedia document presentation, information extraction, and document formation in MINOS: a model and a systemACM Transactions on Information Systems, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Temporal inferencing on administrative databasesInformation Systems, 1985
- Mechanizing temporal knowledgeArtificial Intelligence, 1977