Observability Concepts in Abstract Data Type Specifications

V. Giarratana, F. Gimona, Ugo Montanari. Observability Concepts in Abstract Data Type Specifications. In Antoni W. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Volume 45 of Lecture Notes in Computer Science, pages 576-587, Springer, 1976.

Authors

V. Giarratana

This author has not been identified. Look up 'V. Giarratana' in Google

F. Gimona

This author has not been identified. Look up 'F. Gimona' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google