Author:
Stotts P. David,Furuta Richard
Reference27 articles.
1. C. Beeri and Y. Kornatzky. A logical query language for hypertext systems. In A. Rizk, N. Streitz, and J. André, editors, Hypertext: Concepts, Systems, and Applications, pages 67–80. Cambridge University Press, November 1990. Proceedings of the European Conference on Hypertext.
2. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8:244–263, 1986.
3. Brad Campbell and Joseph M. Goodman. HAM: A general purpose hypertext abstract machine. Communications of the ACM, 31(7):856–861, July 1988.
4. P. Dewan and R. Choudhary. A high-level and flexible framework for implementing multi-user user interfaces. ACM Transactions on Information Systems, 10(4):345–380, October 1992.
5. M. Fischer. Decision making based on practical knowledge. In Proc. of the 1991 Coordination Theory and Collaboration Technology Workshop, pages 89–97. National Science Foundation, June 1991.