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.

	Boc76	Gregor V. Bochmann, Semantic evaluation from left to right, Communications of the ACM, v.19 n.2, p.55-62, Feb. 1976  [doi>10.1145/359997.359999]
	BoSu80	Bochmann,G.v., Sunshine,C.A.: Formal Methods in Communication Protocol Design, IEEE Transactions on Communications, Vol. COM-28, No.4, April 1980, pp.624-631
	Bri85	Ed Brinksma, A tutorial on LOTOS, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V, p.171-194, June 10-13, 1985
	Chu84	Richard Chung, A methodology for protocol design and specification based on an extended state transition model, Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium, p.34-41, June 06-08, 1984, Montréal, Quebec, Canada, United States
	Gou84	Gouda,M., Yu,Y.: Synthesis of Communicating Finite-State Machines with guaranteed Progress, IEEE Transactions on Communications, COM-32, No.7, July 1984, pp.779-788
	Hoa78	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978  [doi>10.1145/359576.359585]
	Lav79	Mark S. Laventhal, A constructive approach to reliable synchronization code, Proceedings of the 4th international conference on Software engineering, p.194-202, September 17-19, 1979, Munich, Germany
	Mac83	Mackert,L.: Modellierung, Spezifikation und korrekte Reatisierung von asynchronen Systemen, Arbeitsberichte des IMMD Bd.16, Nr.7, UniYersitaet Erlangen-Nuernberg, Erlangen 1983, 266p.
	Mer83	Philip Merlin , Gregor V. Bochmann, On the Construction of Submodule Specifications and Communication Protocols, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.1-25, Jan. 1983  [doi>10.1145/357195.357196]
	Mil80	R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
	ViLo85	Chris A. Vissers , Luigi Logrippo, The importance of the service concept in the design of data communications protocols, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V, p.3-17, June 10-13, 1985
	Zaf80	Zafiropulo,P., West,C.H., Rudin,H., Cowan,D.D., Brand,D.: Towards Analyzing and Synthesizing Protocols, IEEE Transactions on Communications, Vol. COM-28, No.4, April 1980, pp.651-661

• 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
  
  

• ACM SIGCOMM Computer Communication Review
  Volume 16 ,  Issue 3   Aug. 5, 1986