Enhanced graph models in the Web: multi-client, multi-head, multi-tail browsing

The World Wide Web: what cost simplicity?

HYPERTEXT '97 Proceedings of the eighth ACM conference on Hypertext

Hyperdocuments as automata: verification of trace-based browsing properties by model checking

ACM Transactions on Information Systems (TOIS)

Model checking cobweb protocols for verification of HTML frames behavior

Proceedings of the 11th international conference on World Wide Web

Educational applications of multi-client synchronization through improved Web graph semantics

WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)