Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	E. Best and K. Voss. Free choice systems have home states. Acta lnformatica, 21:89-100,1984l
	2	T.A. Chu. Symhesis of self-timed conu'ol circuits from graphs: an example. In l Proceedings of the International Conference on Computer Design, pages 565- 571,1986.
	3	V. I. Varshavsky et al. Self.timed Control of Concurrent Processes. Kluwer Academic Publisher, 1990. (Russian edition: 1986).
	4	Robert M. Keller, A Fundamental Tehoerem of Asynchronous Parallel Computation, Proceedings of the Sagamore Computer Conference on Parallel Processing, p.102-112, August 20-23, 1974
	5	M. A. Kishinevsky, A. Y. Kondratyev, A. R. Taubin, and V. I. Varshavsky. On serf-timed behavior verification. In ACM Intl. Workshop on 7"uvdng Issues in the Specification and Synthesis of Digital Systems, 1992.
	6	L. Lavagno , K. Keutzer , A. Sangiovanni-Vincentelli, Algorithms for synthesis of hazard-free asynchronous circuits, Proceedings of the 28th conference on ACM/IEEE design automation, p.302-308, June 17-22, 1991, San Francisco, California, United States  [doi>10.1145/127601.127685]
	7	R. E. Miller. Switching theory, volume 2. Wiley and Sons, 1965.
	8	D.E. Muller and W. C. Bartlcy. A theory of asynchronous circuits. In Annals of Computing Laboratory of Harvard University, pages 204-243,1959.
	9	Leonid Ya. Rosenblum , Alexandre Yakovlev, Signal Graphs: From Self-Timed to Timed Ones, International Workshop on Timed Petri Nets, p.199-206, July 01-03, 1985
	10	A. V. Yakovlev. Analysis of concurrent systems through lances. Theoretical Computer Science, Submitted for publication.
	11	A. V. Yakovlev, L. Lavagno, and A. Sangiovanni-V'mcentelli. A unified signal uansition graph model for asynchronous conuol circuit synthesis. Technical Report UCB/ERL M92/78, U.C. Berkeley, July 1992.

• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher
  
  
• The GemStone object database management system Communications of the ACM   34, 10
  Paul Butterworth ,  Allen Otis ,  Jacob Stein
  
  
• Putting innovation to work: adoption strategies for multimedia communication systems Communications of the ACM   34, 12
  Ellen Francik ,  Susan Ehrlich Rudman ,  Donna Cooper ,  Stephen Levine
  
  
• An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
  Gwo-Dong Chen ,  Daniel D. Gajski