ACM Transactions on Information Systems (TOIS): Volume 16 Issue 1, Jan. 1998
Citation Count: 33
Downloads (6 Weeks): 2, Downloads (12 Months): 7, Downloads (Overall): 519
Full text available:
We present a view of hyperdocuments in which each document encodes its own browsing semantics in its links. This requires a mental shift in how a hyperdocument is thought of abstractly. Instead of treating the links of a document as defining a static directed graph, they are thought of as ...
hypermedia, hypertext, temporal logic, Petri nets, browsing semantics, model checking