An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols

Mohamed Bettaz. An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. In Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel, editors, Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Volume 534 of Lecture Notes in Computer Science, pages 11-30, Springer, 1990.

Abstract

Abstract is missing.